UNIF 2012: BibTeX Entries

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}}