👤 Michael Kifer

Declarative Logic Programming Michael Kifer