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
