Correctness of linear logic proof structures is NL-complete
scientific article; zbMATH DE number 5886382
scientific article