Research output: Chapter in Book/Report/Conference proceeding › Chapter
Accepted author manuscript, 1.17 MB, PDF document
| Original language | English |
|---|---|
| Title of host publication | Handbook of Automated Reasoning |
| Editors | A. Robinson, A. Boronkov |
| Publisher | Elsevier and MIT Press |
| Pages | 845-911 |
| ISBN (Print) | 0-444-50813-9 |
| Publication status | Published - 2001 |
ID: 405766
