_id,doi,title
4417,10.1007/978-3-540-71322-7_13,Abstract counterexample-based refinement for powerset domains