Counting Predicates, Subset Surjective Functions, and Counting CSPs. - Andrei A. Bulatov; Amir Hedayaty (ISMVL, 2012)

Counting Problems and Clones of Functions. - Andrei A. Bulatov; Amir Hedayaty (J. Multiple Valued Log. Soft Comput., 2012)

Galois Correspondence for Counting Quantifiers. - Andrei A. Bulatov; Amir Hedayaty (J. Multiple Valued Log. Soft Comput., 2015)