Stuart Harvey Rubin, Shu-Ching Chen, James B. Law, Gordon K. Lee. On the inherent necessity of heuristic proofs. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Waikoloa, Hawaii, USA, October 10-12, 2005. pages 3890-3896, IEEE, 2005. [doi]
Abstract is missing.