Percy Liang, Mayur Naik: Scaling abstraction refinement via pruning. PLDI 2011: 590-601