@article{IIMI_2017_50_a6,
     author = {Yu. M. Smetanin},
     title = {Verification of the logical sequence in nonclassical multivalued logic},
     journal = {Izvestiya Instituta Matematiki i Informatiki Udmurtskogo Gosudarstvennogo Universiteta},
     pages = {62--82},
     publisher = {mathdoc},
     volume = {50},
     year = {2017},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/IIMI_2017_50_a6/}
}