TY - BOOK AU - Holldobler Steffen TI - Foundations of equational logic programming T2 - Lecture notes in computer science: Artificial intelligence; 353. Subseries of lecture notes in computer science; 353 U1 - D65,8(B):R1, M9 PY - 1989/// CY - Berlin PB - Springer-Verlag KW - Computer science ER -