Vysvetľovací modul v pravidlovom poznatkovom systéme : Diplomová práca - Hladký, Miroslav (STU v Bratislave MtF KAIA, 1994)