"Algebraic and Logic Programming, 5th International Conference, ALP'96, ..."

Michael Hanus, Mario Rodríguez-Artalejo (1996)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics