1. Barankevich, M. M. (2008). Expert methods in decision-making. Lviv: LNU named after Franka, 214 p. [In Ukrainian].
2. Belz, O. (2009). Basics of economic expert systems. Lviv: Center of LNU named after Ivan Franko, 238 p. [In Ukrainian].
3. Belz, O. (2009). Basics of economic expert systems. Lviv: LNU named after Franka, 238 p. [In Ukrainian].
4. Demri, S., Goranko, V., & Lange, M. (2016). Temporal Logics in Computer Science, Cambridge: Cambridge University Press, 752 p.
5. Durnyak, B. V., Sikora, L. S., Lysa, N. K., Tkachuk, R. L., & Yavorskyi, B. I. (2017). Information and laser technologies for the selection of data streams and their cognitive interpretation in automated control systems. Lviv: Ukrainian Academy of Printing, 644 p. [In Ukrainian].