@article{Chistyakov2014formation,
author={Chistyakov, G..},
title={FORMATION OF THE REVERSE EXAMPLE AT VERIFICATION OF THE ALGORITHMS USING THE METHODS OF LOGICAL INFERENCE},
journal={Vestnik of Astrakhan State Technical University. Series: Management, computer science and informatics},
publisher={Astrakhan State Technical University},
year={2014},
pages={50-57},
volume={2014},
issue={3},
}