TY - DATA AU - Steffen Hölldobler TI - Foundations of Equational Logic Programming SN - 9783540482260 PY - 1989/// PB - Springer Berlin Heidelberg KW - Computer Science UR - https://doi.org/10.1007/BFb0015791 ER -