On Sufficient-Completeness and Related Properties of Term Rewriting Systems.评价结果

评估详情