1. A. N. Chebotarev, “An approach to functional specification of automaton systems. I,” Kibern. Sist. Anal., No. 3, 31–42 (1993).
2. C.-L Chang and R. Lee, Symbolic Logic and Mechanical Theorem Proving, Academic Press, New York (1973).
3. A. N. Chebotarev, “Testing the consistency of simple specifications of automaton systems,” Kibern. Sist. Anal., No. 3, 3–11 (1994).
4. J. R. Slagle, “Automatic theorem proving with renamable and semantic resolution,” J. Assoc. Comput. Mach., 14, No. 3, 687–697 (1967).
5. M. K. Morokhovets and A. N. Chebotarev, “Resolution approach to testing the consistency of interacting automata,” Kibern. Sist. Anal., No. 6, 36–50 (1994).