ACM Transactions on Computational Logic, 1(2), October 2000

(2000)