Complexity of Unordered CNF Games
scientific article; zbMATH DE number 7626554