@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},
}