Algebraic and logic programming : Proceedings, Aachen, Germany, Sept. 25 - 27, 1996 - Pierro, Alessandra Di (Lecture notes in computer science, 1996)