TY  - RPRT
TI  - A Tool for Intersecting Context-Free Grammars and Its Applications
AU  - Gange, Graeme
AU  - Navas, Jorge A.
AU  - Schachte, Peter
AU  - Sondergaard, Harald
AU  - Stuckey, Peter J.
PY  - 2015
UR  - https://ntrs.nasa.gov/citations/20150022106
ID  - 20150022106
ER  -