Research output: Contribution to journal › Article › peer-review
The Use of Proof Planning for Cooperative Theorem Proving. / Lowe, H.; Bundy, Alan; McLean, D.
In: Journal of Symbolic Computation, Vol. 25, 1998.Research output: Contribution to journal › Article › peer-review