Федор Александрович Новиков. Символический искусственный интеллект: математические основы представления знаний. Учебное пособие для академического бакалавриата. М.:ЮРАЙТ, 2016