Temur Kutsia, Christophe Ringeissen, editors, Proceedings of the 28th International Workshop on Unification, UNIF 2014, Vienna, Austria, July 13, 2014. 2014. [doi]
Conference: UNIF2014
@proceedings{unif-2014, title = {Proceedings of the 28th International Workshop on Unification, UNIF 2014, Vienna, Austria, July 13, 2014}, year = {2014}, url = {https://www3.risc.jku.at/publications/download/risc_5001/proceedings-UNIF2014.pdf}, researchr = {https://researchr.org/publication/unif-2014}, cites = {0}, citedby = {0}, booktitle = {Proceedings of the 28th International Workshop on Unification, UNIF 2014, Vienna, Austria, July 13, 2014}, conference = {UNIF}, editor = {Temur Kutsia and Christophe Ringeissen}, }