Deaccumulation techniques for improving provability
scientific article; zbMATH DE number 5156681
scientific article