[1]
Riis, S. and Sitharam, M. 1998. Generating Hard Tautologies Using Predicate Logic and the Symmetric Group. BRICS Report Series. 5, 19 (Jan. 1998). DOI:https://doi.org/10.7146/brics.v5i19.19425.