Computing in Horn clause theories /

Bibliographic Details

Main Author:	Padawitz, Peter, 1953-
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1988]
Series:	EATCS monographs on theoretical computer science ; v. 16.
Subjects:	Logic programming. Horn clauses.