EasyChair Smart Slide
On Local Confluence of Conditional Rewriting
On Local Confluence of Conditional Rewriting