Serdar Erbatur, Santiago Escobar, Paliath Narendran. The use of types in designing unification algorithms: two case studies. In Santiago Escobar, Konstantin Korovin, Vladimir V. Rybakov, editors, UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification, Manchester, UK, July 1, 2012. Volume 24 of EPiC Series, pages 7-16, EasyChair, 2012.
Abstract is missing.