Michael Kifer

Declarative Logic Programming