EasyChair Smart Slide
Inversion and Determinization in Term Rewriting
Inversion and Determinization in Term Rewriting