%0 Journal Article %1 journals/tcs/GangeNSSS16 %A Gange, Graeme %A Navas, Jorge A. %A Schachte, Peter %A Søndergaard, Harald %A Stuckey, Peter J. %D 2016 %J Theor. Comput. Sci. %K %P 1-24 %T A complete refinement procedure for regular separability of context-free languages. %U http://dblp.uni-trier.de/db/journals/tcs/tcs625.html#GangeNSSS16 %V 625

@article{journals/tcs/GangeNSSS16, added-at = {2023-12-12T20:27:21.000+0100}, author = {Gange, Graeme and Navas, Jorge A. and Schachte, Peter and Søndergaard, Harald and Stuckey, Peter J.}, biburl = {https://www.bibsonomy.org/bibtex/20fe74032006e520b2927f18b69f220ed/admin}, ee = {https://www.wikidata.org/entity/Q57664979}, interhash = {2f72ec2c259bec5bf872c73c407df3a5}, intrahash = {0fe74032006e520b2927f18b69f220ed}, journal = {Theor. Comput. Sci.}, keywords = {}, pages = {1-24}, timestamp = {2023-12-12T20:27:21.000+0100}, title = {A complete refinement procedure for regular separability of context-free languages.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs625.html#GangeNSSS16}, volume = 625, year = 2016 }