Ковальков, А. Т. Логическое программирование на процедурном языке / А. Т. Ковальков, И. А. Ковалькова // Наука - образованию, производству, экономике : материалы Седьмой международной научно-технической конференции : в 3 т. / Белорусский национальный технический университет ; редкол.: Б. М. Хрусталев, Ф. А. Романюк, А. С. Калиниченко. – Минск : БНТУ, 2009. – Т. 1. – С. 117.