Connection methods in linear logic and proof nets construction
scientific article; zbMATH DE number 1495203
scientific article