Title: ACM transactions on computational logic
Subjects: Machine theory, Periodicals, Logic design, Logic programming