ACM transactions on computation theory (Association for Computing Machinery, 2009)
Refereed/Peer-reviewed