McAllester D.A. Ontic : A knowledge representation system for mathematics / D.A.McAllester, 1989. - XIV,158 p. p. - Текст : непосредственный.