@misc{indiciae3507f900061b,
  title = {Automated Grading of Automata with ACL2s},
  author = {Ankit Kumar and Andrew Walter and Panagiotis Manolios},
  year = {2023},
  doi = {10.4204/eptcs.375.7},
  url = {https://arxiv.org/abs/2303.05867},
  note = {Source identifier: 2303.05867}
}