Deaccumulation — Improving Provability (2003)

by Jürgen Giesl , Armin Kühnemann , Janis Voigtländer
Venue:Asian Computing Science Conference
Citations:3 - 1 self