TY - DATA AU - Mauro Boscarol, Luigia Carlucci Aiello, Giorgio Levi TI - Foundations of Logic and Functional Programming SN - 9783540391265 PY - 1988/// PB - Springer Berlin Heidelberg KW - Computer Science UR - https://doi.org/10.1007/3-540-19129-1 ER -