Journals
Books
Articles by keyword formalisation of Knowledge
Yu. I. Nechaev, V. P. Osipov