Algebraic and Logic Programming: 4th International Conference, ALP '94

Giorgio Levi , Mario Rodríguez-Artalejo