LOGIC GRAMMARS - Abramson, Harvey; Dahl, Veronica (New York Springer-Verlag, 1989)
Keywords: Logic Programming; Artificial Intelligence