BibTeX

@book{reyle97hrsg,
  title = {Logic and its Applications: Festschrift for Dov Gabbay},
  publisher = {Kluwer},
  year = {1997},
  editor = {Uwe Reyle and H. J. Ohlbach},
  address = {Dordrecht}
}