Robuta

https://isa-afp.org/entries/Nominal_Unification.html Nominal Unification - Archive of Formal Proofs Nominal Unification in the Archive of Formal Proofs nominal unification archive formal proofs https://wwww.easychair.org/publications/preprint/DLVk Efficiency of a good but not linear nominal unification algorithm not linear nominal unification efficiency good algorithm