Symmetry and complexity in propositional reasoning. - Jim Molony (2000)