EasyChair Smart Slide
Rewriting with Generalized Nominal Unification
Rewriting with Generalized Nominal Unification