Deciding Regular Grammar Logics with Converse Through First-Order Logic. (2005)

by S Demri, H de Nivelle
Venue:J. Logic, Language and Information