@misc{indiciae50a621ac94a3,
  title = {Extended Nullstellensatz proof systems},
  author = {Jan Krajicek},
  year = {2023},
  doi = {10.1090/proc/16709},
  url = {https://arxiv.org/abs/2301.10617},
  note = {Source identifier: 2301.10617}
}