TY - BOOK AU - Abramson,Harvey AU - Dahl,Veronica,1950- TI - Logic grammars SN - 0387969616 PY - 1989/// CY - New York PB - Springer-Verlag KW - Logic programming KW - Artificial intelligence N1 - Includes bibliographical references ER -