ACM Transactions on Computational Logic, Volume 13

Volume 13, Number 1, January 2012

Volume 13, Number 2, April 2012

Volume 13, Number 3, August 2012

Volume 13, Number 4, October 2012