Decision Problems for Propositional Linear Logic (1990)

by Patrick Lincoln, John Mitchell, Andre Scedrov, Natarajan Shankar