2009. ОБ ОПРЕДЕЛИМОСТИ 1-ТИПОВ НАД МОДЕЛЬЮ УПОРЯДОЧЕННО СТАБИЛЬНОЙ ТЕОРИИ. Journal of Mathematics Mechanics and Computer Science. 62, 3 (Sep. 2009), 5–7.