Joan edukira

SMS: Nominal anti-unification with atom-variables