Lindsay, P. A., Moore, R. C., & Ritchie, B. (1987). IPSE 2.5: Review of existing theorem provers. Univ.
Chicago-Zitierstil (17. Ausg.)Lindsay, Peter A., Richard C. Moore, und Brian Ritchie. IPSE 2.5: Review of Existing Theorem Provers. Manchester: Univ, 1987.
MLA-Zitierstil (9. Ausg.)Lindsay, Peter A., et al. IPSE 2.5: Review of Existing Theorem Provers. Univ, 1987.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.