Padawitz, P. (1988). Computing in Horn clause theories. Springer.
Chicago-Zitierstil (17. Ausg.)Padawitz, Peter. Computing in Horn Clause Theories. Berlin ; Heidelberg <<[u.a.]>>: Springer, 1988.
MLA-Zitierstil (9. Ausg.)Padawitz, Peter. Computing in Horn Clause Theories. Springer, 1988.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.