Lowe, H. The Use of Proof Planning for Co-operative Theorem Proving. Journal of symbolic computation..
Citazione stile Chigago Style (17a edizione)Lowe, H. "The Use of Proof Planning for Co-operative Theorem Proving." Journal of Symbolic Computation. .
Citatione MLA (9a ed.)Lowe, H. "The Use of Proof Planning for Co-operative Theorem Proving." Journal of Symbolic Computation., .
Attenzione: Queste citazioni potrebbero non essere precise al 100%.