The complexity of regularity in grammar logics and related modal logics, (2001)

by S Demri
Venue:J. Log. Comput.