Aмбарцумян A. A., Гаспарян, Г. А., Ованнисян, С. А., & Чубарян, А. А. (2021). On the Numbers of Minimal Tautologies and Properties of Their Proofs in Classical and Nonclassical Logic. Mathematical Problems of Computer Science, 52, 67–73. https://doi.org/10.51408/1963-0046