The powers of the essential subformulaes sets in Frege proofs and substitution Frege proofs - Anahit A. Chubaryan (Изд-во НАН РА)
Keywords: Mathematics