Chen, Hubie (2006) A rendezvous of logic, complexity, and algebra. ACM SIGACT News 37 (4), pp. 85-114.