S. Riis og M. Sitharam, “Generating Hard Tautologies Using Predicate Logic and the Symmetric Group”, BRICS, bd. 5, nr. 19, jan. 1998.