| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| A Resolution Principle for a Logic with Restricted Quantifiers | 978-3-540-55034-1 (3-540-55034-8) | 1991 | ||
| Deduction Systems in Artificial Intelligence | 978-0-13-200981-2 (0-13-200981-1) | 1989 | Karl-Hans Blaesius · Hans-Juergen Buerckert | |
| Deduktionssysteme | 978-3-486-22033-9 (3-486-22033-0) | 1992 | Karl H. Bläsius | |
H B · H.J. · H. Juergen · Hans B. · Hans J Bürckert · Hans Jürgen · Hans-Jurgen Burckert · J.B.
Oldenbourg Wissenschaftsverlag · Prentice Hall · Springer