TY - GEN AU - Abramson, Harvey AU - Abramson, Harvey AU - Dahl, Veronica TI - Logic grammars PY - 1989/// CY - New York PB - Springer- Verlag KW - Logic programming KW - Symbolic computation KW - Artificial intelligence ER -