Holldobler, Steffen. Foundations of equational logic programming. by Steffen Holldobler - Berlin S-V 1989 - vii, 250p. - Lecture notes in artificial intelligence 353 . ISBN: 354051533X Dewey Class. No.: 006.3 / N8932