Completeness results for linear logic on Petri nets
scientific article; zbMATH DE number 1038659
scientific article