"Linear Logic Automata."

Max I. Kanovich (1996)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics