Article 1456 Avetisyan V.V. Chakhmakhchyan R.E. Journal of Computer and Systems Sciences International 55(2) 163-178 2016 http://www.springer.com/engineering/robotics/journal/11488