Inferenčný mechanizmus pre poznatky reprezentované pravidlami = Inference engine for knowledge represented by rules : Diplomová práca - Minarovič, Matej (STU v Bratislave MTF UIAM, 2008)