~ tracking down this book ~
Foundations of Equational Logicprogramming by Steffen Hölldobler — OmList