Helmut Schmidt Nikolaus Steger Ulrich Güntzer Werner Kießling Rüdiger Azone Rudolf Bayer Combining Deduction by Certainty with the Power of Magic. 103-122 1989 DOOD db/conf/dood/dood89.html#SchmidtSGKAB89