APA Citation

Setzer, A., & Kanso, K. (2014). A light-weight integration of automated and interactive theorem proving. Mathematical Structures in Computer Science, 26(01), pp. 129-153. doi:10.1017/S0960129514000140

Chicago Style Citation

Setzer, Anton, and Karim Kanso. "A Light-weight Integration of Automated and Interactive Theorem Proving." Mathematical Structures in Computer Science 26, no. 01 (2014): 129-153.

MLA Citation

Setzer, Anton, and Karim Kanso. "A Light-weight Integration of Automated and Interactive Theorem Proving." Mathematical Structures in Computer Science 26.01 (2014): 129-153.

Warning: These citations may not always be 100% accurate.