@misc{indiciae285ba5b56534,
  title = {A Complete Refinement Procedure for Regular Separability of Context-Free Languages},
  author = {Graeme Gange and Jorge A. Navas and Peter Schachte and Harald Sondergaard and Peter J. Stuckey},
  year = {2014},
  url = {https://arxiv.org/abs/1411.5131},
  note = {Source identifier: 1411.5131}
}