Abadi, M., & Manna, Z. (1985). Nonclausal temporal deduction.
Chicago-Zitierstil (17. Ausg.)Abadi, Martín, und Zohar Manna. Nonclausal Temporal Deduction. Stanford, Calif, 1985.
MLA-Zitierstil (9. Ausg.)Abadi, Martín, und Zohar Manna. Nonclausal Temporal Deduction. 1985.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.