Journal of Logic Programming, Volume 46

Volume 46, Numbers 1-2, November - December 2000