@misc{indiciaea79264f96f70,
  title = {A Tool for Intersecting Context-Free Grammars and Its Applications},
  author = {Gange, Graeme and Navas, Jorge A. and Schachte, Peter and Sondergaard, Harald and Stuckey, Peter J.},
  year = {2015},
  url = {https://ntrs.nasa.gov/citations/20150022106},
  note = {Source identifier: 20150022106}
}