Algebraic and logic programming : 4th international conferenence, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings / - Levi, G.; Rodríguez Artalejo, M. (Springer-Verlag, 1994)