Snyers Dominique From logic design to logic programming - Berlin Springer-Verlag 1987 - 125p. cm. - Lecture Notes in Computer Science; 271 . Standard No.: 72535 Source: Textual Subjects--Topical Terms: Computer science Dewey Class. No.: D65,8(B):(R1), M7