TY - JOUR T1 - Integrating an automated theorem prover into Agda JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) UR - http://eprints.whiterose.ac.uk/43344/ PY - 2011/01/01 AU - Foster S AU - Struth G ED - DO - DOI: 10.1007/978-3-642-20398-5_10 VL - 6617 LNCS SP - 116 EP - 130 Y2 - 2025/05/24 ER -