Algebraic and logic programming 5th international conference, ALP '96, Aachen, Germany, September 25-27, 1996 ; proceedings (Springer, 1996)