Riis S, Sitharam M. Generating Hard Tautologies Using Predicate Logic and the Symmetric Group. BRICS [Internet]. 1998 Jan. 19 [cited 2024 May 4];5(19). Available from: https://tidsskrift.dk/brics/article/view/19425