APA-Zitierstil (7. Ausg.)

Padawitz, P. (1988). Computing in Horn clause theories. Springer.

Chicago-Zitierstil (17. Ausg.)

Padawitz, Peter. Computing in Horn Clause Theories. Berlin u.a: Springer, 1988.

MLA-Zitierstil (9. Ausg.)

Padawitz, Peter. Computing in Horn Clause Theories. Springer, 1988.