Journals
Books
Articles by keyword subject classification
Formalisation reflection content natural-language information resources
A.M. Potapenko, R.N. Rusanov