ACM Transactions on Computational Logic (TOCL), Volume 10

Volume 10, Number 1, January 2009

Volume 10, Number 2, February 2009

Volume 10, Number 3, April 2009

Volume 10, Number 4, August 2009