Research output: Contribution to journal › Article

**Making a Productive Use of Failure to Generate Witnesses for Coinduction from Divergent proof Attempts.** / Dennis, L.; Bundy, Alan; Green, I.

Research output: Contribution to journal › Article

Dennis, L, Bundy, A & Green, I 2000, 'Making a Productive Use of Failure to Generate Witnesses for Coinduction from Divergent proof Attempts' *Annals of Mathematics and Artificial Intelligence*, vol. 29, no. 1-4, pp. 99-138. DOI: 10.1023/A:1018940332714

Dennis, L., Bundy, A., & Green, I. (2000). Making a Productive Use of Failure to Generate Witnesses for Coinduction from Divergent proof Attempts. *Annals of Mathematics and Artificial Intelligence*, *29*(1-4), 99-138. DOI: 10.1023/A:1018940332714

Dennis L, Bundy A, Green I. Making a Productive Use of Failure to Generate Witnesses for Coinduction from Divergent proof Attempts. Annals of Mathematics and Artificial Intelligence. 2000;29(1-4):99-138. Available from, DOI: 10.1023/A:1018940332714