Email Record: ACM transactions on computational logic.