@misc{indiciae895020e7e3e7,
  title = {Little Tricky Logic: Misconceptions in the Understanding of LTL},
  author = {Ben Greenman and Sam Saarinen and Tim Nelson and Shriram Krishnamurthi},
  year = {2022},
  doi = {10.22152/programming-journal.org/2023/7/7},
  url = {https://arxiv.org/abs/2211.01677},
  note = {Source identifier: 2211.01677}
}