Reiner Hähnle Wolfram Menzel Peter H. Schmitt Wolfgang Reif J.UCS Special Issue on Integration of Deduction Systems. 1999 5 J. UCS 3 db/journals/jucs/jucs5.html#HahnleMSR99 http://www.jucs.org/jucs_5_3/j_ucs_special_issue