@techreport{SchellhornAhrendt2019,
  author    = {Gerhard Schellhorn and W. Ahrendt},
  title     = {Verification of a prolog compiler - first steps with KIV},
  institution = {Fakult{\"a}t f{\"u}r Angewandte Informatik},
  year      = {2019},
}