| |
| 1999 | ||
|---|---|---|
| 2 | Anatoli Degtyarev, Alexander V. Lyaletski, Marina K. Morokhovets: Evidence Algorithm and Sequent Logical Inference Search. LPAR 1999: 44-61 | |
| 1998 | ||
| 1 | EE | Anatoli N. Chebotarev, Marina K. Morokhovets: Resolution-Based Approach to Computability Analysis of Interacting Automata. Theor. Comput. Sci. 194(1-2): 183-205 (1998) |
| 1 | Anatoli N. Chebotarev | [1] |
| 2 | Anatoli Degtyarev | [2] |
| 3 | Alexander V. Lyaletski | [2] |