1. A. V. Kuznetsov, Logical Inference (Nauka, Moscow, 1979) [in Russian].
2. S. S. Marchenkov, Discret. Math. Appl. 9, 563–581 (1999).
3. S. S. Marchenkov, J. Appl. Ind. Math. 1, 481–488 (2007).
4. S. S. Marchenkov, Diskret. Anal. Issled. Operatsii 16(6), 52–67 (2009).
5. Yu. I. Yanov and A. A. Muchnik, Dokl. Akad. Nauk SSSR 127, 44–46 (1959).