TY  - RPRT
TI  - Deciding regular grammar logics with converse through first-order logic
AU  - Stephane Demri
AU  - Hans de Nivelle
PY  - 2004
UR  - https://arxiv.org/abs/cs/0306117
ID  - cs/0306117
ER  -