Journal of Logic and Algebraic Programming, Volume 49

Volume 49, Number 1-2, September-December 2001

a service of Schloss Dagstuhl - Leibniz Center for Informatics