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