17 citations · 25 across the 8 of their papers we have counts for
1 paper · 1 filter
Naoki Nishida, Masahiko Sakai, Yasuhiro Nakano
An inductive theorem proving method for constrained term rewriting systems, which is based on rewriting induction, needs a decision procedure for reduction-completeness of constrai…