Для цитирования:

Новикова Т.А., Захаров В.А. Двусторонняя унификация программ и ее применение для задач рефакторинга. Труды Института системного программирования РАН. 2014;26(2):245-268. https://doi.org/10.15514/ISPRAS-2014-26(2)-11