Computing in Horn Clause Theories
Peter Padawitz
Paperback
Not Available
Deductive and Declarative Programming
Deduction and Declarative Programming
Hardback