@InCollection{BenlBergerSchwichtenbergSeisenbergerZuber98,
  author = 	 {Holger Benl and Ulrich Berger and Helmut
                  Schwichtenberg and Monika Seisenberger and Wolfgang Zuber},
  title = 	 {Proof theory at work: Program development in the
                  {M}inlog system},
  booktitle = 	 {Automated Deduction -- A Basis for Applications},
  publisher =	 {Kluwer Academic Publishers},
  year =	 {1998},
  editor =	 {W. Bibel and P.H. Schmitt},
  volume =	 {II: Systems and Implementation Techniques},
  series =	 {Applied Logic Series},
  address =	 {Dordrecht},
  pages =	 {41--71}}