Michael Dahr

1963

• Deductive databases
• Petri net semantics of logic programs and deductive databases