ACM transactions on computation theory. (Association for Computing Machinery, 1994)