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 September 21, 2024. https://tidsskrift.dk/brics/article/view/19425.