Stéphane Demri The Complexity of Regularity in Grammar Logics and Related Modal Logics. 933-960 2001 11 J. Log. Comput. 6 https://doi.org/10.1093/logcom/11.6.933 db/journals/logcom/logcom11.html#Demri01