_id,doi,title
3251,10.1007/978-3-642-27940-9_29,Ideal abstractions for well structured transition systems