APA-Zitierstil (7. Ausg.)

Manning, A., Ireland, A., & Bundy, A. (1993). Increasing the versatility of heuristic based theorem provers.

Chicago-Zitierstil (17. Ausg.)

Manning, Alistair, Andrew Ireland, und Alan Bundy. Increasing the Versatility of Heuristic Based Theorem Provers. Edinburgh, 1993.

MLA-Zitierstil (9. Ausg.)

Manning, Alistair, et al. Increasing the Versatility of Heuristic Based Theorem Provers. 1993.