@incollection{Roberts1979,
  author = {Roberts, Kevin W. S.},
  title = {The characterization of implementable choice rules},
  editor = {Laffont, Jean-Jacques},
  booktitle = {Aggregation and Revelation of Preferences},
  publisher = {North-Holland},
  address = {Amsterdam},
  year = {1979},
  pages = {321--349}
}
@inproceedings{DobzinskiNisan2009,
  author = {Dobzinski, Shahar and Nisan, Noam},
  title = {A Modular Approach to {Roberts}' Theorem},
  editor = {Mavronicolas, Marios and Papadopoulou, Vicky G.},
  booktitle = {Algorithmic Game Theory, {SAGT} 2009},
  series = {Lecture Notes in Computer Science},
  volume = {5814},
  pages = {14--23},
  publisher = {Springer},
  year = {2009},
  doi = {10.1007/978-3-642-04645-2_3},
  note = {\url{https://doi.org/10.1007/978-3-642-04645-2_3}}
}
@inproceedings{LaviMualemNisan2003,
  author = {Lavi, Ron and Mu'alem, Ahuva and Nisan, Noam},
  title = {Towards a Characterization of Truthful Combinatorial Auctions},
  booktitle = {Proceedings of the 44th Annual {IEEE} Symposium on Foundations of Computer Science},
  pages = {574--583},
  publisher = {IEEE},
  year = {2003},
  doi = {10.1109/SFCS.2003.1238230},
  note = {\url{https://doi.org/10.1109/SFCS.2003.1238230}}
}
@misc{RobertsArtifact,
  author = {Ramos, Arthur Freitas},
  title = {{roberts-theorem-lean}: a {Lean} formalization of {Roberts} theorem},
  year = {2026},
  howpublished = {\url{https://github.com/Arthur742Ramos/roberts-theorem-lean/tree/0c176c66d2afa62301297f443b1e40eda2387ca2}},
  note = {Pinned source inspected September 30, 2026; Lean and Mathlib v4.35.0-rc2}
}
@misc{RobertsAuditCommit,
  author = {Ramos, Arthur Freitas},
  title = {Local verification record in the {Roberts} packaging commit},
  year = {2026},
  howpublished = {\url{https://github.com/Arthur742Ramos/roberts-theorem-lean/commit/61bd2b9075588716550bcd3ac9bc68f7392e823f}},
  note = {September 27, 2026; project-reported local checks, not external review}
}
@misc{RobertsMechanicalRun,
  author = {{Palomar Registry}},
  title = {Mechanical verification of submission ujjeis5lup8v},
  year = {2026},
  howpublished = {\url{https://github.com/PalomarRegistry/PalomarSubmission/actions/runs/36327496620}},
  note = {Completed successfully September 27, 2026; submitted source revision 61bd2b9075588716550bcd3ac9bc68f7392e823f; not mathematical peer review}
}