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