ACM transactions on computational logic (Association for Computing Machinery, 2000)