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

Gianluigi Bellin, Jussi Ketonen (1992)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics