@incollection{Beierle95LPBOOKkopie,
   BEMERKUNG = {Kopie des Originaleitrages aus lpbook.bib, wobei
                crossref durch explizite Kopie der angaben ersetzt wurde},
   author = "C.~Beierle",
   title = "Concepts, Implementation, and Applications of a Typed Logic
            Programming Language",
   pages = "139-167",
   chapter = "5",
   crossrefXXX = {BeierlePluemer95},
   editor = "C. Beierle and L. Pl{\"u}mer",
   booktitle = "Logic Programming: Formal Methods and Practical Applications",
   series = "Studies in Computer Science and Artificial Intelligence",
   publisher = "Elsevier Science B.V./North-Holland",
   address = "Amsterdam, Holland",
   ISBN = "0 444 82092 2",
   year = 1995}