Roope Kaivola
-
Quasi-star-free languages on infinite words
Acta Cybernetica
Monodic temporal resolution
ACM Transactions on Computational Logic (TOCL)