| Original language | English |
|---|---|
| Title of host publication | Handbook of Automated Reasoning |
| Publisher | Elsevier BV |
| Pages | 179-272 |
| Number of pages | 94 |
| ISBN (Print) | 0-444-50813-9 |
| Publication status | Published - 2001 |
The Inverse Method
Anatoli Degtyarev, John Alan Robinson (Editor), Andrei Voronkov (Editor)
Research output: Chapter in Book/Report/Conference proceeding › Chapter