TY - BOOK AU - Kuchen,Herbert (ed.) TI - Functional and logic programming T2 - Lecture notes in computer science; no 2024 SN - 3540417397 U1 - 004 LEC PY - 2001/// CY - Berlin PB - Springer N1 - Includes bibliographical references ER -