Algebraic Program Interpreter APREX2. - D. Rayko; Kirill Vershinin; Igor Romanenko (STACS, 1991)

One More Logic with Uncertainty and Resolution Principle for it. - Konstantin Vershinin; Igor Romanenko (CADE, 1992)

Logican's Workbench. - Igor Romanenko (LPAR, 1992)