Theorem proving as an interleaving process of planning and verification. unpublished manuscript (1991)

by X Huang, M Kerber