Software for Quantifier Elimination in Propositional Logic
scientific article