S. N. Vassilyev, G. M. Ponomarev, “Automation methods for logical derivation and their application in the control of dynamic and intelligent systems”, Trudy Inst. Mat. i Mekh. UrO RAN, 17:2 (2011), 35–52; Proc. Steklov Inst. Math., 276, suppl. 1 (2012), S161–S179
