Riis, S.; Sitharam, M. Generating Hard Tautologies Using Predicate Logic and the Symmetric Group. BRICS 1998, 5.