Kanovich M.I. Fast theorem proving in intuitionistic propositional logic / M.I.Kanovich, 1991. - 16 p. - Текст : непосредственный.