Abramson, Harvey Logic grammars / Harvey Abramson, Veronica Dahl - New York : Springer-Verlag, 1989 - 234 p. : ill. ; 25 cm. - Symbolic computation . Includes bibliographical references ISBN: 0387969616 Subjects--Topical Terms: Logic programmingArtificial intelligence