Boolean heaps (2005)

by Andreas Podelski, Thomas Wies
Venue:In SAS