Telefona gönder: Foundations of equational logic programming / Steffen Hölldobler.