_id,doi,title
631,10.1007/978-3-662-54577-5_34,Counterexample guided refinement of template polyhedra