Климова, М. В. Розробка методу та моделі верифікації знань в онтологічних системах. EEJET 2009, 4, 32-36.