Formalizmy pre reprezentáciu poznatkov - Harach, Ľubomír (SVŠT v Bratislave, 1984)