Hanus, Michael Algebraic and logic programming Michael Hanus - - Springer-Verlag, Berlin 1996 - - . Subjects--Topical Terms: Computer science Dewey Class. No.: 004 HAN-A