Authors: VLADA M

Citation: M. Vlada, AN EFFICIENT ALGORITHM FOR TESTING PROPOSITIONAL FORMULAS, Computers and artificial intelligence, 17(4), 1998, pp. 383-391