Логика в решении проблем: Пер. с англ. - Ковальски Роберт (Проблемы искусственного интеллекта, 1990)