@techreport{Schellhorn2019,
  author    = {Gerhard Schellhorn},
  title     = {Proving properties of directed graphs: a problem set for automated theorem provers},
  institution = {Fakult{\"a}t f{\"u}r Angewandte Informatik},
  pages     = {14},
  year      = {2019},
}