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