First-order linear logic without modalities is NEXPTIME-hard
scientific article; zbMATH DE number 710242
scientific article