The Use of Proof Planning for Co-operative Theorem Proving. - Helen Lowe; Alan Bundy; Duncan McLean (J. Symb. Comput., 1998)