Vlada, M. 2012. An efficient algorithm for testing propositional formulas. COMPUTING AND INFORMATICS. 17, 4 (Mar. 2012), 383–391.