APA (7th ed.) Citation

Dennis, L. A., Jamnik, M., Pollet, M., & Carette, J. (2005). On the comparison of proof planning systems: Lambda-clam, Omega and IsaPlanner. Elsevier.

Chicago Style (17th ed.) Citation

Dennis, Louise Abigail, Mateja Jamnik, Martin Pollet, and Jacques Carette. On the Comparison of Proof Planning Systems: Lambda-clam, Omega and IsaPlanner. Elsevier, 2005.

MLA (9th ed.) Citation

Dennis, Louise Abigail, et al. On the Comparison of Proof Planning Systems: Lambda-clam, Omega and IsaPlanner. Elsevier, 2005.