N. Shanin,
G. Davydov,
S. Maslov,
G. Mints,
V. Orevkov,
and 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.[bibtex-entry]
