Rankooh, M. F.; Rintanen, J. Propositional Encodings of Acyclicity and Reachability by Using Vertex Elimination. AAAI 2022, 36, 5861-5868.