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

Giorgio Levi, Mario Rodríguez-Artalejo (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics