_id,doi,title
2237,10.1007/978-3-642-45221-5_13,Tree interpolation in Vampire