@article{Чистяков2014формирование,
author={Чистяков, Г..},
title={ФОРМИРОВАНИЕ КОНТРПРИМЕРА ПРИ ВЕРИФИКАЦИИ АЛГОРИТМОВ С ПОМОЩЬЮ МЕТОДОВ ЛОГИЧЕСКОГО ВЫВОДА},
journal={Вестник Астраханского государственного технического университета. Серия: Управление, вычислительная техника и информатика},
publisher={Астраханский государственный технический университет},
year={2014},
pages={50-57},
volume={2014},
issue={3},
}