gratzer-2022-the:
  type: misc
  title: The directed plump ordering
  author:
  - Gratzer, Daniel
  - Shulman, Michael
  - Sterling, Jon
  date: 2022-02
  serial-number:
    arxiv: '2202.07329'