| title | ISBN-13 (ISBN-10) | year of publication | |
|---|---|---|---|
| Automation of Reasoning: Classical Papers on Computational Logic, 1967-1970 | 978-0-387-12044-7 (0-387-12044-0) | 1983 | |
| Gwai-81 | 978-3-540-10859-7 (3-540-10859-9) | 2013 |
H.S. · J. H. · J??rg H. Siekmann · J. S. · J. Siekmann · Jörg H. Siekmann · Jorg H. Siekmann