Volume
@proceedings{UNIF2012,
title = {UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification},
editor = {Santiago Escobar and Konstantin Korovin and Vladimir Rybakov},
series = {EPiC Series in Computing},
volume = {24},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
year = {2014}}
Papers
@inproceedings{UNIF2012:Recent_Advances_Unification_EL,
author = {Franz Baader and Stefan Borgwardt and Barbara Morawska},
title = {Recent Advances in Unification for the EL Family},
booktitle = {UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification},
editor = {Santiago Escobar and Konstantin Korovin and Vladimir Rybakov},
series = {EPiC Series in Computing},
volume = {24},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/T16},
doi = {10.29007/q5px},
pages = {1-6},
year = {2014}}
@inproceedings{UNIF2012:use_types_designing_unification,
author = {Serdar Erbatur and Santiago Escobar and Paliath Narendran},
title = {The use of types in designing unification algorithms: two case studies},
booktitle = {UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification},
editor = {Santiago Escobar and Konstantin Korovin and Vladimir Rybakov},
series = {EPiC Series in Computing},
volume = {24},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Mqw},
doi = {10.29007/lbk5},
pages = {7-16},
year = {2014}}
@inproceedings{UNIF2012:Some_Notes_Basic_Syntactic,
author = {Kimberly Gero and Chris Bouchard and Paliath Narendran},
title = {Some Notes on Basic Syntactic Mutation},
booktitle = {UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification},
editor = {Santiago Escobar and Konstantin Korovin and Vladimir Rybakov},
series = {EPiC Series in Computing},
volume = {24},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/PmL},
doi = {10.29007/sdp1},
pages = {17-27},
year = {2014}}
@inproceedings{UNIF2012:Bounded_Higher_order_Unification,
author = {Tomer Libal},
title = {Bounded Higher-order Unification using Regular Terms},
booktitle = {UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification},
editor = {Santiago Escobar and Konstantin Korovin and Vladimir Rybakov},
series = {EPiC Series in Computing},
volume = {24},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/B6J},
doi = {10.29007/zhpc},
pages = {28-49},
year = {2014}}