Journal of Logic and Algebraic Programming, Volume 52-53

Volume 52-53, July - August 2002

a service of Schloss Dagstuhl - Leibniz Center for Informatics