Б. Ю. Конев, Т. Жебелеан, “Метод подъема решений для работы с метапеременными в системе TH$\exists$OREM$\forall$”, Зап. научн. сем. ПОМИ, 293 (2002), 94–117; B. Yu. Konev, T. Jebelean, “Solution lifting method for handling Meta-variables in the TH$\exists$OREM$\forall$ system”, J. Math. Sci. (N. Y.), 126:3 (2005), 1182–1194
