(2015). Proof-term reconstruction from TSTP to Agda.
Chicago Style (17th ed.) CitationProof-term Reconstruction from TSTP to Agda. 2015.
MLA (8th ed.) CitationProof-term Reconstruction from TSTP to Agda. 2015.
Warning: These citations may not always be 100% accurate.