Foundations of Equational Logic Programming

Bok av Steffen Hölldobler