@INCOLLECTION{MeyerBeierle98,
   AUTHOR = "G. Meyer and C. Beierle",
   title = "Dimensions of Types in Logic Programming",
   pagesNNN = "139-167",
   chapter = "10",
   editor = "W. Bibel and P. H. Schmitt",
   booktitle = "Automated Deduction - A Basis for Applications",
   publisher = "Kluwer Academic Publishers",
   address = "Netherlands",
   ISBNnnn = "",
   year = 1998}