@InProceedings{BM01,
  author =       {R. Berghammer and U. Milanese},
  title =        {\textsf{KIEL} - A computer system for visualizing the execution of functional programs},
  booktitle =    {International Workshop on Functional and (Constraint) Logic Programming (WFLP 2001), Kiel, 13.9-15.9. 2001, Bericht Nr. 2017},
  pages =        {365-368},
  year =         {2001},
  editor =       {M. Hanus},
  address =      {Institut f"ur Informatik und Praktische Mathematik, Universit"at Kiel},
}