Confluence of Orthogonal Nominal Rewriting Systems Revisited. - Takaki Suzuki; Kentaro Kikuchi; Takahito Aoto 001; Yoshihito Toyama (RTA, 2015)

Critical Pair Analysis in Nominal Rewriting. - Takaki Suzuki; Kentaro Kikuchi; Takahito Aoto 001; Yoshihito Toyama (SCSS, 2016)