Логический подход к искусственному интеллекту : от модальной логики к логике баз данных / А. Тейз, П. Грибомон, Г. Юлен [и др.] ; пер. с фр. Г. П. Гаврилова ; под ред. Г. П. Гаврилова. - Москва : Мир, 1998. - 494 с.: ил.