Kontrola konzistencie bázy poznatkov : Diplomová práca - Klepanec, Ivan (STU v Bratislave MtF KAIA, 1994)