Hanus,Michael Algebraic and logic programming / Hanus,Michael. - 6th International Jo - Berlin: Springer, 1997. - x,286p;26cm - Lecture Notes in Computer Science, No.1298 . Includes bibliographical references. ISBN: 3540634592 Dewey Class. No.: 005.1 HAN