Konstantin Korovin, Barbara Morawska, editors, 27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013. Volume 19 of EPiC Series, EasyChair, 2013. [doi]
Conference: RTA2013
@proceedings{rta-2013unif,
title = {27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013},
year = {2013},
url = {http://www.easychair.org/publications/?page=723757558},
researchr = {https://researchr.org/publication/rta-2013unif},
cites = {0},
citedby = {0},
booktitle = {27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013},
conference = {RTA},
editor = {Konstantin Korovin and Barbara Morawska},
volume = {19},
series = {EPiC Series},
publisher = {EasyChair},
}