Journal of Logic Programming, Volume 45

Volume 45, Numbers 1-3, September 2000

a service of Schloss Dagstuhl - Leibniz Center for Informatics