@article{Sapozhnikov2016checking,
author={Sapozhnikov, V.. and Sapozhnikov, V.. and Efanov, D..},
title={Checking of combinational circuits, based on sum codes with one weighted data bit},
journal={Transport automation research},
publisher={FSBEI HE "Emperor Alexander I St. Petersburg State Transport University"},
year={2016},
pages={564-597},
volume={2},
issue={4},
}