@article{gsnk-pj-2023,
  author={Ben Greenman and Sam Saarinen and Tim Nelson and Shriram Krishnamurthi},
  title={Little Tricky Logic: Misconceptions in the Understanding of {LTL}},
  journal={{Programming}},
  volume={7},
  number={2},
  pages={7:1--7:37},
  doi={10.22152/programming-journal.org/2023/7/7},
  year={2023}
}