Journal of Logic Programming, Volume 45

Volume 45, Numbers 1-3, September 2000