_id,doi,title
3324,10.1007/978-3-642-18275-4_26,Decision procedures for automating termination proofs