Why Are There So Many Loop Formulas?	2006
Vladimir Lifschitz and Alexander Razborov, ACM Transactions on Computational Logic, Vol. 7 (2006), pp. 261-268.