ACM transactions on computation theory TOCT (ACM, 2009)