M. F. Rankooh and J. Rintanen, “Propositional Encodings of Acyclicity and Reachability by Using Vertex Elimination”, AAAI, vol. 36, no. 5, pp. 5861-5868, Jun. 2022.