Invia SMS: Extensions of logic programming : second international workshop, Stockholm, Sweden, January 27-29, 1991, proceedings / L.-H. Eriksson, L. Hallnäs, P. Schroeder-Heister (eds.).