Bellin, G., & Ketonen, J. (1991). A decision procedure revisited: Notes on direct logic, linear logic and its implementations.
Chicago-Zitierstil (17. Ausg.)Bellin, Gianluigi, und Jussi Ketonen. A Decision Procedure Revisited: Notes on Direct Logic, Linear Logic and Its Implementations. Edinburgh, 1991.
MLA-Zitierstil (9. Ausg.)Bellin, Gianluigi, und Jussi Ketonen. A Decision Procedure Revisited: Notes on Direct Logic, Linear Logic and Its Implementations. 1991.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.