Journal of Logic Programming, Volume 43

Volume 43, Number 1, April 2000

Volume 43, Number 2, May 2000

Volume 43, Number 3, June 2000

a service of Schloss Dagstuhl - Leibniz Center for Informatics