Reprezentace znalostí v systémech umělé inteligence - Hájičová, Eva; Wichs, Tomáš (Praha : Univerzita Karlova, 1984)