Confluence of the disjoint union of conditional term rewriting systems (1990)

by A Middeldorp
Venue:Proc. of the 2nd Int. Workshop on Conditional and Typed Rewriting Systems, volume 516 of Lecture Notes in Computer Science