Algebraic and Logic Programming: 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994: Proceedings

Giorgio Levi , Mario Rodríguez-Artalejo