G.: Integrating an automated theorem prover into Agda (2011)

by S Foster, Struth
Venue:NASA Formal Methods (NFM 2011), LNCS