Propositional Logic in Reverse Polish Notation