@misc{indiciae623d5e49e13d,
  title = {A Completeness Result for Inequational Reasoning in a Full Higher-Order Setting},
  author = {Lawrence S. Moss and Thomas F. Icard},
  year = {2022},
  url = {https://arxiv.org/abs/2202.08725},
  note = {Source identifier: 2202.08725}
}