Foundations of equational logic programming - Hölldobler, Steffen 1957-2023 (Lecture notes in computer science, 1989)