Wolfgang Bibel Deduction as a Cross-Sectional Technology: The DFG Focus Programme on Deduction. 29-40 1997 GI Jahrestagung db/conf/gi/gi97.html#Bibel97