@TECHREPORT{cadews98,
        AUTHOR             = {Nikolaj~S.~Bj{\o}rner and Reiner
		  H\"{a}hnle and Wolfram Menzel and Wofgang Reif and
		  Peter~H.~Schmitt},
        ADDRESS            = {Lindau, Germany, July 5-10},
        INSTITUTION        = {Workshop at the 15th International
		  Conference on Automated Deduction},
        TITLE              = {Integration of Deductive Systems},
        YEAR               = {1998}
}