1. A. N. Chebotarev, “An approach to functional specification of automaton systems, I, II, III,” Kibern. Sistem. Anal., No. 3, 31–32, No. 4, 3–14, No. 5, 3–17 (1993).
2. A. N. Chebotarev, “Testing consistency of simple specifications of automaton systems,” Kibern. Sistem. Anal., No. 3, 3–11 (1994).
3. M. K. Morokhovets and A. N. Chebotarev, “Resolution approach to testing consistency of interacting automata”, Kibern. Sistem. Anal., No. 6, 36–50 (1994).
4. A. N. Chebotarev, “Interacting automata,” Kibern. Sistem. Anal., No. 6, 17–29 (1991).
5. C.-L. Chang and R. Lee, Symbolic Logic and Mechanical Theorem Proving, Academic Press, New York (1973).