Computing in Horn Clause Theories (1988)

by P Padawitz