Deaccumulation techniques for improving provability (2007)

by J Giesl, A Kühnemann, J Voigtländer
Venue:J. Logic Algebr. Program