Peter E. Bulychev, Egor V. Kostylev, Vladimir A. Zakharov. Anti-unification Algorithms and Their Applications in Program Analysis. In Amir Pnueli, Irina Virbitskaite, Andrei Voronkov, editors, Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers. Volume 5947 of Lecture Notes in Computer Science, pages 413-423, Springer, 2009. [doi]
@inproceedings{BulychevKZ09,
title = {Anti-unification Algorithms and Their Applications in Program Analysis},
author = {Peter E. Bulychev and Egor V. Kostylev and Vladimir A. Zakharov},
year = {2009},
doi = {10.1007/978-3-642-11486-1_35},
url = {http://dx.doi.org/10.1007/978-3-642-11486-1_35},
tags = {program analysis, analysis, e-science},
researchr = {https://researchr.org/publication/BulychevKZ09},
cites = {0},
citedby = {0},
pages = {413-423},
booktitle = {Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers},
editor = {Amir Pnueli and Irina Virbitskaite and Andrei Voronkov},
volume = {5947},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-11485-4},
}