№ 1 (2013) Kleschev A. S., Timchenko V. A. RESTRICTED SYNTACTIC EQUIVALENCE AND ADAPTIVE UNIFICATION IN THE EXTENSIBLE MODEL OF THE MATHEMATICAL DIALECT
№ 1 (2012) Kleschev A. S., Timchenko V. A. THE UNIFICATION ALGORITHM FOR THE EXTENSIBLE MODEL OF A MATHEMATICAL DIALECT
№ 3 (2011) Kleschev A. S., Timchenko V. A. THE PROBLEM OF SUBSTITUTION FOR THE EXTENSIBLE MODEL OF A MATHEMATICAL DIALECT