DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-642-18275-4_26,3324,ToHe,Decision procedures for automating termination proofs