Bridging the Gap Between Refinement and Heuristics in Abstraction

Open in new window