ACM Transactions on Computational Logic (TOCL), Volume 8

Volume 8, Number 1, January 2007

Volume 8, Number 2, April 2007

Volume 8, Number 3, July 2007

Volume 8, Number 4, August 2007