1. On means for detection of nondeducibility and inexpressibility;A. V. Kuznetsov,1979
2. O. M. Kasim-Zade, ‘‘On implicit expressibility of Boolean functions,’’ Moscow Univ. Math. Bull. 50 (2), 42–45 (1995).
3. O. M. Kasim-Zade, ‘‘Implicit expressibility in two-valued logic and crypto-isomorphisms of two-element algebras,’’ Dokl. Math. 53 (3), 366–368 (1996).
4. O. M. Kasim-Zade, ‘‘Implicit completeness in the $$k$$-valued logic,’’ Moscow Univ. Math. Bull. 62 (3), 90–94 (2007). https://doi.org/10.3103/S0027132207030023
5. E. A. Orekhova, ‘‘On one criterion of implicit completeness in $$k$$-valued logic,’’ Mat. Vopr. Kibern. (Math. Probl. Cybern.), No. 11, 77–90 (2002).