Логический подход к искусственному интеллекту : От классической логики к логическому программированию / [А. Тейз, П. Грибомон, Ж. Луи и др.] ; пер. с фр. П.П. Пермякова; под ред. Г. П. Гаврилова. - Москва : Мир, 1990. - 429 с. : ил. - Библиогр.: с. 411-417 (115 назв.). - Предм. указ.: с. 418-423. - ISBN 5-03-001636-8 : Б. ц.