Computing in Horn Clauses Theories (1988)

by P Padawitz