Foundations of equational logic programming (1989)

by S Hölldobler