Riis, Søren, and Meera Sitharam. “Generating Hard Tautologies Using Predicate Logic and the Symmetric Group”. BRICS Report Series 5, no. 19 (January 19, 1998). Accessed December 5, 2025. https://tidsskrift.dk/brics/article/view/19425.