Deciding regular grammar logics with converse through first-order logic

Stéphane Demri Hans de Nivelle Deciding regular grammar logics with converse through first-order logic http://arxiv.org/abs/cs.LO/0306117 2003 CoRR cs.LO/0306117 db/journals/corr/corr0306.html#cs-LO-0306117 informal publication