Половикова, О. Н. Возможности логического языка для решения задач на основе программной генерации фактов / О. Н. Половикова // Сборник трудов Всероссийской конференции по математике с международным участием "МАК-2018" / АлтГУ [и др.]. - Барнаул : Изд-во АлтГУ, 2018. - С. 142–144.