M. Vlada, “An efficient algorithm for testing propositional formulas”, Comput. Inform., vol. 17, no. 4, pp. 383–391, Mar. 2012.