APA (7th ed.) Citation

Padawitz, P. (1988). Computing in Horn Clause Theories. Springer-Verlag.

Chicago Style (17th ed.) Citation

Padawitz, Peter. Computing in Horn Clause Theories. Berlin: Springer-Verlag, 1988.

MLA (8th ed.) Citation

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

Warning: These citations may not always be 100% accurate.