Enviar por SMS: Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings / H. Kirchner, W. Wechler, eds.