Peter Padawitz

Computing in Horn Clause Theories

Deductive and Declarative Programming