@InCollection{    SchellhornAhrendt98,     
  author        = {Gerhard Schellhorn and Wolfgang Ahrendt},
  title         = {The {WAM} Case Study: Verifying Compiler Correctness for Prolog with {KIV}},
  part          = {1: Automated Deduction in Software Engineering and Hardware Design},
  volume        = {{III}: Applications},
  pages         = {165--194},              
  booktitle     = {Automated Deduction --- A Basis for Applications},
  editor        = {Wolfgang Bibel and Peter H. Schmitt},
  series        = {Applied Logic Series, No. 9},
  publisher     = {Kluwer, Dordrecht},
  year          = {1998}
}