Resolution-Based Approach to Computability Analysis of Interacting Automata. - Anatoli N. Chebotarev; Marina K. Morokhovets (Theor. Comput. Sci., 1998)

Evidence Algorithm and Sequent Logical Inference Search. - Anatoli Degtyarev; Alexander V. Lyaletski; Marina K. Morokhovets (LPAR, 1999)