On the inherent necessity of heuristic proofs.

Stuart Harvey Rubin, Shu-Ching Chen, James B. Law, Gordon K. Lee

Browse the full SMC paper archive.