EasyChair Smart Slide
Confluence Criteria for Logically Constrained Rewrite Systems
Confluence Criteria for Logically Constrained Rewrite Systems