ACM Transactions on Computational Logic (TOCL), Volume 11

Volume 11, Number 1, October 2009

Volume 11, Number 2, January 2010

Volume 11, Number 3, May 2010

Volume 11, Number 4, July 2010