Soviet J. of Computer and System Sciences , 01.1987    Включает: I. G. Pospelov ,   L. Y. Pospelova Dynamic Description of Production Systems and Consistency Test of Production Expert Systems , 01.1987