A Propositional Proof System with Quantification Over Permutations. - Grzegorz Herman; Tim Paterson; Michael Soltys (Fundam. Informaticae, 2007)