@incollection{SchellhornAhrendt1998,
  author    = {Gerhard Schellhorn and W. Ahrendt},
  title     = {The WAM case study: verifying compiler correctness for prolog with KIV},
  booktitle = {Automated deduction - a basis for applications: volume 3 - applications},
  editor    = {Wolfgang Bibel and P. H. Schmitt},
  isbn      = {0-7923-5131-2},
  year      = {1998},
}