Journal of Logic and Algebraic Programming, Volume 55

Volume 55, Number 1-2, March - April 2003

a service of Schloss Dagstuhl - Leibniz Center for Informatics