Foundations of Equational Logic Programming (1989)

by S Hölldobler
Venue:of LNAI