Tatiana Novikova, Vladimir Zakharov. Is it possible to unify sequential programs?. In Konstantin Korovin, Barbara Morawska, editors, 27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013. Volume 19 of EPiC Series, pages 35-45, EasyChair, 2013. [doi]
@inproceedings{NovikovaZ13,
title = {Is it possible to unify sequential programs?},
author = {Tatiana Novikova and Vladimir Zakharov},
year = {2013},
url = {http://www.easychair.org/publications/?page=258372275},
researchr = {https://researchr.org/publication/NovikovaZ13},
cites = {0},
citedby = {0},
pages = {35-45},
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},
}