@misc{mazur-2026-jackson-counterexample,
  author = {Mazur, Lech},
  title = {A twelve-vertex regular bipartite tournament without a Hamilton decomposition},
  publisher = {ProofAtlas},
  year = {2026},
  date = {2026-07-23},
  version = {v001},
  url = {https://proofatlas.ai/formalizations/jackson-hamilton-decomposition-counterexample/}
}