TY  - RPRT
TI  - A Complete Refinement Procedure for Regular Separability of Context-Free Languages
AU  - Graeme Gange
AU  - Jorge A. Navas
AU  - Peter Schachte
AU  - Harald Sondergaard
AU  - Peter J. Stuckey
PY  - 2014
UR  - https://arxiv.org/abs/1411.5131
ID  - 1411.5131
ER  -