TY  - RPRT
TI  - A Semantic Basis for Proof Queries and Transformations
AU  - Aspinall, David
AU  - Denney, Ewen W.
AU  - Luth, Christoph
PY  - 2013
UR  - https://ntrs.nasa.gov/citations/20140005390
ID  - 20140005390
ER  -