Алгоритмы реализации предикатов с кванторами, связанных с поиском данных реляционно-решетчатой структуры

Пауклин, У.А. Алгоритмы реализации предикатов с кванторами, связанных с поиском данных реляционно-решетчатой структуры // Построение прикладных систем обработки данных - система ПАРЕС. Таллин : Таллинский политехнический институт, 1983. с. 61-66. (Tallinna Polütehnilise Instituudi toimetised = Труды Таллинского политехнического института ; 556, Электротехника и автоматика ; 23).