TY - BOOK AU - Abramson, Harvey AU - Dahl, Veronica TI - LOGIC GRAMMARS SN - 0387969616 U1 - 001.535 PY - 1989/// CY - New York PB - Springer-Verlag KW - Logic Programming KW - Artificial Intelligence ER -