TY - BOOK AU - Palamidessi,Catuscia TI - Principles of declarative programming T2 - Lecture notes in computer science,No-1490 SN - 3540650121 U1 - 005.1 PAL PY - 1998/// CY - Berlin PB - Springer N1 - Includes bibliographical references ER -