N. Shanin,
G. Davydov,
S. Maslov,
G. Mints,
V. Orevkov,
et Anatol Slissenko.
A Computer Algorithm for the Determination of Deducibility on the Basis of the Inverse Method.
Zapiski Nauchnykh Seminarov LOMI,
16:8-19,
1969.
Note: In Russian.
@ARTICLE{DaMaMiOrSl:1969:CADD,
author = {Shanin, N. and Davydov, G. and Maslov, S. and Mints, G. and Orevkov, V. and Anatol Slissenko},
title = {A Computer Algorithm for the Determination of Deducibility on the Basis of the Inverse Method},
journal = {Zapiski Nauchnykh Seminarov LOMI},
year = 1969,
volume = 16,
pages = {8--19},
note = {In Russian. }
}