摘要：将术语重写系统的LPO终止性表达为命题逻辑中的可满足性问题——研讨会报告
作者：Harald Zankl
论文ID：cs/0605021
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中