@misc{indiciae38758e0ed2d9,
  title = {Theorem and Algorithm Checking for Courses on Logic and Formal Methods},
  author = {Wolfgang Schreiner},
  year = {2019},
  doi = {10.4204/eptcs.290.5},
  url = {https://arxiv.org/abs/1904.00620},
  note = {Source identifier: 1904.00620}
}