Pestryakov, D. (2025) “Prospects for Using the Ontology Description Language ONTOL V2 in Automating the Knowledge Verification Procedure”, Computer Tools in Education, (3), pp. 65–80. doi:10.32603/2071-2340-2025-3-65-80.