ACM Transactions on Computational Logic (TOCL), Volume 6

Volume 6, Number 1, January 2005

Volume 6, Number 2, April 2005

Volume 6, Number 3, 2005

Volume 6, Number 4, October 2005