The Use of Proof Planning for Co-operative Theorem Proving

Helen Lowe, Alan Bundy, Duncan McLean. The Use of Proof Planning for Co-operative Theorem Proving. Journal of Symbolic Computation, 25(2):239-261, 1998.

Abstract

Abstract is missing.