TY  - RPRT
TI  - Testing First-Order Logic Axioms in AutoCert
AU  - Ahn, Ki Yung
AU  - Denney, Ewen
PY  - 2009
UR  - https://ntrs.nasa.gov/citations/20100023419
ID  - 20100023419
ER  -