Vasilev S. N., Doganovskii S. A., Edemskii V. M., K intellektnomu upravleniyu dugovymi staleplavilnymi pechami, Avtomatizatsiya v promyshlennosti, # 3, s. 39–43, 2003.
Vassilyev S. N., Temporal Reasoning on the Basis of New Logic for Intelligent Control, Proc. of the IEEE Intern. Symposium on Intelligent Control, pp. 843–847, 2003.
Vasilev S. N., Teoriya i primenenie logiko-upravlyaemykh sistem, Trudy 2-oi Mezhdunarodnoi konferentsii "Identifikatsiya sistem i zadachi upravleniya" (SICPRO'03), s. 23–52, 2003.
Vasilev S. N., Zherlov A. K., Teoretiko-igrovaya semantika pozitivno-obrazovannykh formul, Trudy 8-i Natsionalnoi konferentsii po iskusstvennomu intellektu (KII'2002), Kolomna, t. 1, s. 51–59, 2002.
Vassilyev S. N., Logical Approach in Knowledge-Based Control, Proc. of 21st SGES Intern. Conference on Knowledge Based Systems and Applied Artificial Intelligence (ES-2001), Cambridge, pp. 259–272, 2001.
Vasilev S. N., K intellektnomu upravleniyu, V sb.: Nelineinaya teoriya upravleniya i ee prilozheniya, Moskva, Fizmatlit, s. 57–126, 2000.
Vassilyev S., Intelligent Control on the Basis of Proof Theory, J. "Stability and Control: Theory and Applications", vol. 3, No. 3, pp. 234–243, 2000.
Vasilev S. N., Logicheskaya obrabotka informatsii v zadachakh upravleniya, Trudy Vserossiiskoi nauchno-tekhnicheskoi konferentsii "Teoreticheskie i prikladnye voprosy sovremennykh informatsionnykh tekhnologii", Ulan-Ude, s. 160–167, 2001.
Vassilyev S. N., Cherkashin E. A., Zherlov A. K., A System for Automatic Theorem Proving, In: Proc. of Intern. Conf. on Artificial and Computational Intelligence for Decision, Control and Automation in Engineering and Industrial Applications (ACIDCA), Tunisia, vol. IM, pp. L10–L18, 2000.
