M. Beaudry
-
The membership problem in aperiodic transformation monoids
Journal of the ACM (JACM)
Bilateral locally testable languages
Theoretical Computer Science