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