@Article{HMRS99E, author = {Reiner H\"{a}hnle and Wolfram Menzel and Wolfgang Reif and Peter H. Schmitt{, editors}}, title = {Special Issue on Integration of Deduction Systems}, journal = {Journal of Universal Computer Science}, publisher = {Springer}, volume = {5}, number = {3}, pages = {50--51}, year = {1999} }