Automated termination proofs for logic programs by term rewriting

• 期刊名称ACM Transactions on Computational Logic
• 作者Schneider-Kamp, Peter; Giesl, Jürgen; Serebrenik, Alexander; Thiemann, René
• 卷第11卷
• 期第1期
• 印刷ISSN1529-3785
• 文件大小498.02KB
• 发表时间2009-10-01
• DOI10.1145/1614431.1614433
• 页码1-52