Eric Horvitz, Adrian Klein. Reasoning, Metareasoning, and Mathematical Truth: Studies of Theorem Proving under Limited Resources. In Philippe Besnard, Steve Hanks, editors, UAI 95: Proceedings of the Eleventh Annual Conference on Uncertainty in Artificial Intelligence, August 18-20, 1995, Montreal, Quebec, Canada. pages 306-314, Morgan Kaufmann, 1995. [doi]
Abstract is missing.