Insertion Modeling System and Constraint Programming. - Alexander A. Letichevsky; Vladimir S. Peschanenko; Alexander Letichevsky Jr.; Igor Ol. Blinov; Dmitriy M. Klionov (ICTERI, 2011)

Implementation of Propagation-Based Constraint Solver in IMS. - Igor Ol. Blinov (ICTERI, 2013)