| Original language | English |
|---|---|
| Title of host publication | Computational Logic, Volume 9 of Handbook of the History of Logic |
| Editors | Dov M. Gabbay, Jörg H. Siekmann, John Woods |
| Place of Publication | Oxford |
| Publisher | Elsevier |
| Pages | 679 - 710 |
| Publication status | Published - 2014 |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver