Combinatorial Enumeration Algorithms. - Paul Hofmeier; Emin Karayel (Arch. Formal Proofs, 2022)