APA-Zitierstil (7. Ausg.)

Lowe, H., Bundy, A., & McLean, D. (1995). The use of proof planning for cooperative theorem proving.

Chicago-Zitierstil (17. Ausg.)

Lowe, Helen, Alan Bundy, und Duncan McLean. The Use of Proof Planning for Cooperative Theorem Proving. Edinburgh, 1995.

MLA-Zitierstil (9. Ausg.)

Lowe, Helen, et al. The Use of Proof Planning for Cooperative Theorem Proving. 1995.