The tale of the quantifier alternation hierarchy of first-order logic over words
Research article (ACM SIGLOG News, 2015) · cited 17× · AI/ML