Ведутся технические работы. Это может временно повлиять на скорость работы сайта. Приносим извинения за неудобства и благодарим за ваше понимание!

В.В. Подольский. Оценки длин переформулировок запросов к снабженным логической теорией базам данных