APA (7th ed.) Citation

Bellin, G., & Ketonen, J. (1991). A decision procedure revisited: Notes on direct logic, linear logic and its implementations.

Chicago Style (17th ed.) Citation

Bellin, Gianluigi, and Jussi Ketonen. A Decision Procedure Revisited: Notes on Direct Logic, Linear Logic and Its Implementations. Edinburgh, 1991.

MLA (9th ed.) Citation

Bellin, Gianluigi, and Jussi Ketonen. A Decision Procedure Revisited: Notes on Direct Logic, Linear Logic and Its Implementations. 1991.