José Carmo Amílcar Sernadas Branching versus Linear Logics Yet Again. 24-59 1990 2 Formal Asp. Comput. 1 db/journals/fac/fac2.html#CarmoS90