Логический подход к искусственному интеллекту : От классической логики к логическому программированию / [А. Тейз, П. Грибомон, Ж. Луи и др. ]; Перевод с фр. П. П. Пермякова; Под ред. Г. П. Гаврилова. - М. : Мир, 1990. - 429 с.: ил.