@article{Gange_2016,
    doi = {10.1016/j.tcs.2016.01.026},
    url = {https://doi.org/10.1016%2Fj.tcs.2016.01.026},
    year = {2016},
    month = {apr},
    publisher = {Elsevier {BV}},
    volume = {625},
    pages = {1--24},
    author = {Graeme Gange and Jorge A. Navas and Peter Schachte and Harald S{\o}ndergaard and Peter J. Stuckey},
    title = {A complete refinement procedure for regular separability of context-free languages},
    journal = {Theoretical Computer Science}
}

@article{Gange_2016, doi = {10.1016/j.tcs.2016.01.026}, url = {https://doi.org/10.1016%2Fj.tcs.2016.01.026}, year = {2016}, month = {apr}, publisher = {Elsevier {BV}}, volume = {625}, pages = {1--24}, author = {Graeme Gange and Jorge A. Navas and Peter Schachte and Harald S{\o}ndergaard and Peter J. Stuckey}, title = {A complete refinement procedure for regular separability of context-free languages}, journal = {Theoretical Computer Science} }