ACM Transactions on Computational Logic (TOCL), Volume 1

Volume 1, Number 1, July 2000

Volume 1, Number 2, October 2000