Vlada, M. An Efficient Algorithm for Testing Propositional Formulas. Comput. Inform. 2012, 17, 383-391.