О построении разрешимых сингулярных теорий двух функций следования с дополнительным предикатом. Л.П. Лисовик — 1984 Algebra i Logika
Квазисоотношения в свободной группе и проблемы эквивалентности преобразователей. Л.П. Лисовик — 1986 Algebra i Logika