@misc{senellart2026descriptive,
  title={\href{https://pierre.senellart.com/publications/senellart2026descriptive.pdf}{Descriptive Complexity in {L}ean\string: Completeness by First-Order Reductions}},
  author={Pierre Senellart and Anton Gnatenko},
  month=sep,
  year={2026},
  eprint={2609.18261},
  archiveprefix={arXiv},
  note={arXiv abs/2609.18261},
  url={https://pierre.senellart.com/publications/senellart2026descriptive.pdf},
}