APA (7th ed.) Citation

Dennis, L. A., Nogueira, P., & Hurd, J. (2005). What can be learned from failed proofs of non-theorems? Oxford University Computing Laboratory.

Chicago Style (17th ed.) Citation

Dennis, Louise Abigail, Pablo Nogueira, and Joe Hurd. What Can Be Learned from Failed Proofs of Non-theorems? Oxford University Computing Laboratory, 2005.

MLA (9th ed.) Citation

Dennis, Louise Abigail, et al. What Can Be Learned from Failed Proofs of Non-theorems? Oxford University Computing Laboratory, 2005.