Исследование логико-термальной эквивалентности фрагментов программ в применении к задачам рефакторинга.доклад на конференции