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. [doi]
@inproceedings{ErbaturEN12,
title = {The use of types in designing unification algorithms: two case studies},
author = {Serdar Erbatur and Santiago Escobar and Paliath Narendran},
year = {2012},
url = {http://www.easychair.org/publications/?page=1643135235},
researchr = {https://researchr.org/publication/ErbaturEN12},
cites = {0},
citedby = {0},
pages = {7-16},
booktitle = {UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification, Manchester, UK, July 1, 2012},
editor = {Santiago Escobar and Konstantin Korovin and Vladimir V. Rybakov},
volume = {24},
series = {EPiC Series},
publisher = {EasyChair},
}