Tractable unordered 3-CNF games
scientific article; zbMATH DE number 7600788