Transforming orthogonal inductive definition sets into confluent term rewrite systems - Zhang, Shujun; Nishida, Naoki (Journal of logical and algebraic methods in programming, 2022)
Keywords: Dependency pair; First-order logic; Inductive theorem; Program transformation; Term rewriting; Termination; Term rewriting; Inductive theorem; First-order logic; Termination; Dependency pair; Program transformation