% Metadata checked against original works, authors' sites, conference organizers,
% publishers, and DOI-registration records on 2026-09-11.
% See research/arxiv_literature_audit.md for provenance and limits of attribution.

@article{golomb1966,
  author = {Golomb, Solomon W.},
  title = {Tiling with Polyominoes},
  journal = {Journal of Combinatorial Theory},
  volume = {1},
  number = {2},
  pages = {280--296},
  year = {1966},
  doi = {10.1016/S0021-9800(66)80033-9}
}

@inproceedings{winslow2018,
  author = {Winslow, Andrew},
  title = {Some Open Problems in Polyomino Tilings},
  booktitle = {Developments in Language Theory: DLT 2018},
  editor = {Hoshi, Mizuho and Seki, Shinnosuke},
  series = {Lecture Notes in Computer Science},
  volume = {11088},
  pages = {74--82},
  publisher = {Springer},
  address = {Cham},
  year = {2018},
  doi = {10.1007/978-3-319-98654-8_6},
  url = {https://andrewwinslow.com/papers/polyprobs-dlt18.pdf}
}

@unpublished{raychevQuadrant2021,
  author = {Raychev, Angel Ivanov},
  title = {{L} Polimina [{L} Polyominoes]},
  year = {2021},
  note = {In Bulgarian. Manuscript presented at the 21st Student Conference
          (UK'21), High School Students' Institute of Mathematics and Informatics,
          online, 16--17 January 2021. 18 pp.},
  url = {https://angelraychev.com/polyominoes/raychev-2021-l-quadrant.pdf}
}

@unpublished{raychevHalfPlane2021,
  author = {Raychev, Angel Ivanov},
  title = {Pokritie na poluravninata s {L} polimina
           [Tiling the Half-Plane with {L} Polyominoes]},
  year = {2021},
  note = {In Bulgarian. Manuscript presented at the 21st Student Section
          (US'21) of the Spring Conference of the Union of Mathematicians
          in Bulgaria, online, 15--16 May 2021. 14 pp.},
  url = {https://angelraychev.com/polyominoes/raychev-2021-l-half-plane.pdf}
}

@misc{dahlkeGun,
  author = {Dahlke, Karl A.},
  title = {The Gun Theorem},
  howpublished = {Online manuscript, \texttt{trec} repository},
  note = {Undated; documented by 19 May 2019 in Tulleken's version 2.2.
          Section 23, ``A face with one square.''
          Commit-pinned version, accessed 11 September 2026},
  url = {https://github.com/eklhad/trec/blob/57deb1bdeceff8dda76e4260adcf52fe3a9a901f/theorems/gun}
}

@misc{dahlkeL,
  author = {Dahlke, Karl A.},
  title = {The {L} Theorem},
  howpublished = {Online manuscript, \texttt{trec} repository},
  year = {2020},
  note = {Repository version dated 29 September 2020,
          commit-pinned version; accessed 11 September 2026},
  url = {https://github.com/eklhad/trec/blob/8059759b6d43c743898f608e1ca7e90d1bf1930e/theorems/L}
}

@misc{tulleken2019,
  author = {Tulleken, Herman},
  title = {Polyominoes: How They Fit Together},
  year = {2019},
  howpublished = {Online book, version 2.2},
  note = {First published 1 May 2018; version last modified 19 May 2019.
          Theorem 189, pp. 171--172. Accessed 11 September 2026},
  url = {https://code-spot.co.za/downloads/polyominoes/Polyominoes.pdf}
}

@article{marlow1985,
  author = {Marlow, T. W.},
  title = {Grid Dissections},
  journal = {Chessics},
  number = {23},
  pages = {78--79},
  year = {1985},
  note = {Autumn issue},
  url = {https://www.mayhematics.com/che/chessics_23.pdf}
}

@article{dahlke1989y,
  author = {Dahlke, Karl A.},
  title = {The {Y}-Hexomino Has Order 92},
  journal = {Journal of Combinatorial Theory, Series A},
  volume = {51},
  number = {1},
  pages = {125--126},
  year = {1989},
  doi = {10.1016/0097-3165(89)90083-6}
}

@misc{reidY,
  author = {Reid, Michael},
  title = {Primes of the {Y} Hexomino},
  year = {2011},
  note = {Updated 25 August 2011; accessed 11 September 2026},
  url = {https://sicherman.net/mikereid/y6_rect.html}
}

@article{reid1997,
  author = {Reid, Michael},
  title = {Tiling Rectangles and Half Strips with Congruent Polyominoes},
  journal = {Journal of Combinatorial Theory, Series A},
  volume = {80},
  number = {1},
  pages = {106--123},
  year = {1997},
  doi = {10.1006/jcta.1997.2788}
}

@inproceedings{demouraUllrich2021,
  author = {de Moura, Leonardo and Ullrich, Sebastian},
  title = {The {Lean 4} Theorem Prover and Programming Language},
  booktitle = {Automated Deduction---CADE 28},
  editor = {Platzer, Andr{\'e} and Sutcliffe, Geoff},
  series = {Lecture Notes in Computer Science},
  volume = {12699},
  pages = {625--635},
  publisher = {Springer},
  address = {Cham},
  year = {2021},
  doi = {10.1007/978-3-030-79876-5_37},
  url = {https://lean-lang.org/papers/lean4.pdf}
}