@article{article, title = {{Integrating an automated theorem prover into Agda}}, url = {{http://eprints.whiterose.ac.uk/43344/ }}, year = {{2011}}, month = {{1}}, author = {{Foster S and Struth G}}, doi = {{10.1007/978-3-642-20398-5_10}}, volume = {{6617 LNCS}}, journal = {{Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)}}, pages = {{116-130}}, note = {{Accessed on 2025/04/04}}}