Об алгоритмических свойствах алгебры конечных подмножеств некоторых уноидов

В работе показано, что если рассмотреть алгебру из некоторых уноидов в виде «кустов», соединённых в бесконечную линию, и построить алгебру её конечных подмножеств, то полученная система имеет теорию, допускающую эффективную элиминацию кванторов независимо от исходной. Таким образом, показано, что теория алгебры конечных подмножеств может быть существенно проще алгоритмически, чем теория исходной, а операция объединения для алгебр подмножеств является существенной для алгоритмических свойств.