Tractable temporal and phylogeny constraint languages have limited pp-interpretative power and admit 4-ary pseudo-Siggers polymorphisms, revealing a common core in their proofs.
The csp dichotomy, the axiom of choice, and cyclic polymorphisms
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it