Padawitz, P. (1988). Computing in Horn clause theories. Berlin: Springer-Verlag.
Chicago Style CitationPadawitz, Peter. Computing in Horn Clause Theories. Berlin: Springer-Verlag, 1988.
MLA CitationPadawitz, Peter. Computing in Horn Clause Theories. Berlin: Springer-Verlag, 1988.
Warning: These citations may not always be 100% accurate.