Peter Padawitz

• Computing in Horn Clause Theories
• Deductive and Declarative Programming