Raul Monroy. Some Encounters on the Productive Use of a Failed Proof Attempt or a Counterexample. In Grigori Sidorov, Arturo Hernández Aguirre, Carlos A. Reyes García, editors, Advances in Artificial Intelligence - 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, Pachuca, Mexico, November 8-13, 2010, Proceedings, Part I. Volume 6437 of Lecture Notes in Computer Science, pages 1-12, Springer, 2010. [doi]
Abstract is missing.