EasyChair Smart Slide
Nominal anti-Unification with Atom-Variables
Nominal anti-Unification with Atom-Variables