Vlada, M. (2012). An efficient algorithm for testing propositional formulas. Computing and Informatics, 17(4), 383–391. Retrieved from http://147.213.75.17/ojs/index.php/cai/article/view/632