Deaccumulation Improving provability (0)

by Jürgen Giesl, Armin Kühnemann, Janis Voigtländer
Venue:In Vijay Saraswat, editor, 8th Asian Computing Science Conference, ASIAN 2003