@misc{indiciaef70556012eeb,
  title = {Stable formulas in ordered structures},
  author = {Daniel Max Hoffmann and Chieu-Minh Tran and Jinhe Ye},
  year = {2021},
  doi = {10.1007/s11856-022-2398-z},
  url = {https://arxiv.org/abs/2004.10953},
  note = {Source identifier: 2004.10953}
}