EasyChair Smart Slide
A Certified Functional Nominal C-Unification Algorithm
A Certified Functional Nominal C-Unification Algorithm