TY  - RPRT
TI  - Representations of the language recognition problem for a theorem prover
AU  - Minker, J.
AU  - Vanderbrug, G. J.
PY  - 1972
UR  - https://ntrs.nasa.gov/citations/19730011905
ID  - 19730011905
ER  -