| |
| 1992 | ||
|---|---|---|
| 3 | Konstantin Vershinin, Igor Romanenko: One More Logic with Uncertainty and Resolution Principle for it. CADE 1992: 663-667 | |
| 2 | Igor Romanenko: Logican's Workbench. LPAR 1992: 499-500 | |
| 1991 | ||
| 1 | D. Rayko, Kirill Vershinin, Igor Romanenko: Algebraic Program Interpreter APREX2. STACS 1991: 547-548 | |
| 1 | D. Rayko | [1] |
| 2 | Kirill Vershinin | [1] |
| 3 | Konstantin Vershinin | [3] |