An extended survey on provable information base systems / I.Ogata,Y.Osobe,K.Takahashi и др., 1993. - 152 p. - Текст : непосредственный.