Hierarchical Combination of Unication Algorithms (Extended Abstract)

Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen. Hierarchical Combination of Unication Algorithms (Extended Abstract). In Konstantin Korovin, Barbara Morawska, editors, 27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013. Volume 19 of EPiC Series, pages 30-34, EasyChair, 2013. [doi]

@inproceedings{ErbaturKMNR13-0,
  title = {Hierarchical Combination of Unication Algorithms (Extended Abstract)},
  author = {Serdar Erbatur and Deepak Kapur and Andrew M. Marshall and Paliath Narendran and Christophe Ringeissen},
  year = {2013},
  url = {http://www.easychair.org/publications/?page=1190022393},
  researchr = {https://researchr.org/publication/ErbaturKMNR13-0},
  cites = {0},
  citedby = {0},
  pages = {30-34},
  booktitle = {27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013},
  editor = {Konstantin Korovin and Barbara Morawska},
  volume = {19},
  series = {EPiC Series},
  publisher = {EasyChair},
}