TY  - RPRT
TI  - STAR (Simple Tool for Automated Reasoning): Tutorial guide and reference manual
AU  - Borchardt, G. C.
PY  - 1985
UR  - https://ntrs.nasa.gov/citations/19860019163
ID  - 19860019163
ER  -