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 52 (December 10, 2021): 67–73. Accessed November 20, 2024. http://mpcs.sci.am/index.php/mpcs/article/view/36.