Holldobler Steffen Foundations of equational logic programming - Berlin Springer-Verlag 1989 - 250p. cm. - Lecture notes in computer science: Artificial intelligence; 353. Subseries of lecture notes in computer science; 353 . Standard No.: 72837 Source: Textual Subjects--Topical Terms: Computer science Dewey Class. No.: D65,8(B):R1, M9