A Decision Procedure Revisited: Notes on Direct Logic, Linear Logic and its Implementation.

Gianluigi Bellin Jussi Ketonen A Decision Procedure Revisited: Notes on Direct Logic, Linear Logic and its Implementation. 115-142 1992 95 Theor. Comput. Sci. 1 db/journals/tcs/tcs95.html#BellinK92