Journal of Logic Programming, Volume 39

Volume 39, Numbers 1-3, April 1999

a service of Schloss Dagstuhl - Leibniz Center for Informatics