@misc{indiciae36ca428f409f,
  title = {Deciding regular grammar logics with converse through first-order logic},
  author = {Stephane Demri and Hans de Nivelle},
  year = {2004},
  url = {https://arxiv.org/abs/cs/0306117},
  note = {Source identifier: cs/0306117}
}