Enviar por SMS: Extensions of logic programming : 5th international workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings / Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister, eds.