TY  - RPRT
TI  - Research in advanced formal theorem-proving techniques
AU  - Raphael, B.
AU  - Fikes, R.
AU  - Waldinger, R.
PY  - 1973
UR  - https://ntrs.nasa.gov/citations/19740002065
ID  - 19740002065
ER  -