Difference between revisions of "Propositional Equation Reasoning Systems"