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