Grzegorz Herman, Tim Paterson, Michael Soltys. A Propositional Proof System with Quantification Over Permutations. Fundamenta Informaticae, 79(1-2):71-83, 2007. [doi]
No references recorded for this publication.
No citations of this publication recorded.