APA (7th ed.) Citation

Ridge, T., & Margetson, J. (2005). A Mechanically Verified, Sound and Complete Theorem Prover for First Order Logic. Lecture notes in computer science, 294-309. https://doi.org/10.1007/11541868_19

Chicago Style (17th ed.) Citation

Ridge, Tom, and James Margetson. "A Mechanically Verified, Sound and Complete Theorem Prover for First Order Logic." Lecture Notes in Computer Science 2005: 294-309. https://doi.org/10.1007/11541868_19.

MLA (9th ed.) Citation

Ridge, Tom, and James Margetson. "A Mechanically Verified, Sound and Complete Theorem Prover for First Order Logic." Lecture Notes in Computer Science, 2005, pp. 294-309, https://doi.org/10.1007/11541868_19.