@incollection{BeierleKernIsberner2005FestschriftJS,
   AUTHOR = "C. Beierle and G. Kern-Isberner",
   EDITOR = "D. Hutter and W. Stephan",
   TITLE = "Footprints of Conditionals",
   booktitleSHORT = {Mechanizing Mathematical Reasoning},
   booktitle = {Mechanizing Mathematical Reasoning, Essays in Honor of J{\"o}rg
               H. Siekmann on the Occasion of His 60th Birthday},

   HOWPUBLISHEDnnn = "FB Informatik, FernUniversit{\"{a}}t Hagen",
   YEAR = 2005,
   PUBLISHER = {Springer-Verlag},
   ADDRESSnnn = springeraddress,
   series    = {Lecture Notes in Computer Science},
   VOLUME    = 2605,
   pages     = {99-119},
   ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}id=13WQE1GEVYWM8NT3},
		  }