Journal of Logic and Algebraic Programming, Volume 69

Volume 69, Numbers 1-2, August-December 2006

a service of Schloss Dagstuhl - Leibniz Center for Informatics