TY - BOOK AU - Codognet,P(ed) TI - Logic programming T2 - Lecture Notes in Computer Science 2237 SN - 3540429352 U1 - 004 LEC PY - 2001/// CY - Berlin PB - Springer N1 - Includes bibliographical references ER -