Foundations of equational logic programming - Holldobler Steffen (Berlin Springer-Verlag, 1989)
Keywords: Computer science