Extensions of logic programming : second international workshop, Stockholm, Sweden, January 27-29, 1991, proceedings / - Eriksson, L.-H.; Hallnäs, Lars.; Schroeder-Heister, Peter Joseph (Springer-Verlag, 1992)