Extensions of logic programming 5th international workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings / - Dyckhoff, Roy,; Herre, Heinrich.; Schroeder-Heister, Peter Joseph, (Springer,)