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