Compositional predicate abstraction from game semantics (2009)

by A Bakewell, D R Ghica
Venue:In TACAS ’09