Lowe, et al.. The Use of Proof Planning for Co-operative Theorem Proving. Elsevier BV, 1998, doi:10.1006/jsco.1997.0174.