ACM Transactions on Computational Logic (TOCL), Volume 3

Volume 3, Number 1, January 2002

Volume 3, Number 2, April 2002

Volume 3, Number 3, July 2002

Volume 3, Number 4, October 2002