Journal of Logic Programming, Volume 37

Volume 37, Numbers 1-3, October 1998

Theory Language Design Implementation