Julia GrebenevaE-mailj.grebeneva@gmail.commarakuya@gorodok.net List of Articles: Grebeneva J. Shilov N. Garanina N. ALC for CLA: Towards description logic on concept lattices // Computer Science. — 2013 . — # 35. — P. 57-68 Schreiner P. Shilov N. Grebeneva J. O S. SAT vs. SMV for automatic validation of tabular property of superintuitionistic logics // Computer Science. — 2006 . — # 24. — P. 105-117
