Vlada, M. 2012. An efficient algorithm for testing propositional formulas. Computing and Informatics. 17, 4 (Mar. 2012), 383–391.