Boolean heaps (0)

by A Podelski, T Wies
Venue:In SAS ’05