@misc{indiciae7624d73ae9f6,
  title = {Representations of the language recognition problem for a theorem prover},
  author = {Minker, J. and Vanderbrug, G. J.},
  year = {1972},
  url = {https://ntrs.nasa.gov/citations/19730011905},
  note = {Source identifier: 19730011905}
}