Report - AC-KBO Revisitedyhirokawa/publications/16tplp.pdfAC-KBO Revisited 3 2 Preliminaries We assume familiarity with rewriting and termination. Throughout this paper we deal with rewrite

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form