Foundations of equational logic programming / - Hölldobler, Steffen (Springer-Verlag, 1989)