Algebraic and logic programming : 5th international conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings / - Hanus, Michael.; Rodríguez Artalejo, M. (Springer,, 1996)