Vyvod v sistemakh produk︠t︡siĭ s nedoopredelennyni ob̋ektami : pro︠t︡sess logicheskogo vyvoda - Artemʹeva, I. L. (Irina Leonidovna) (IAPU DVO RAN, 1992)