Reducing concurrent analysis under a context bound to sequential analysis
scientific article; zbMATH DE number 5637103
scientific article