@book{BeierlePluemer95,
   editor = "C. Beierle and L. Pl{\"u}mer",
   title  = "Logic Programming: Formal Methods and Practical Applications",
   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}