ACM Transactions on Computational Logic (Association for Computing Machinery, 2004)