Elsevier
Discrete Applied Mathematics

Warners, J., & van Maaren, H. (2000). Recognition of tractable satisfiability problems through balanced polynomial representations. Discrete Applied Mathematics, 99(1-3), 229–244.