ACM Transactions on Computational Logic, Volume 14

Volume 14, Number 1, February 2013

Volume 14, Number 2, June 2013

Volume 14, Number 3, August 2013

Volume 14, Number 4, November 2013