Dennis, L. A., Bundy, A., & Green, I. (2000). The Productive use of Failure to Generate Witnesses from Divergent Proof Attempts for Coinduction. Kluwer.
Chicago Style (17th ed.) CitationDennis, Louise Abigail, Alan Bundy, and Ian Green. The Productive Use of Failure to Generate Witnesses from Divergent Proof Attempts for Coinduction. Kluwer, 2000.
MLA (9th ed.) CitationDennis, Louise Abigail, et al. The Productive Use of Failure to Generate Witnesses from Divergent Proof Attempts for Coinduction. Kluwer, 2000.
Warning: These citations may not always be 100% accurate.