In: G. Giani; R. Repges (Hrsg.). Biometrie und Informatik - Neue Wege zur Erkenntnisgewinnung in der Medizin. 34. Jahrestagung der GMDS. Jahrestagung der Deutschen Gesellschaft für Medizinische Informatik, Biometrie und Epidemiologie (GDMS-89), 34. September 18-20, Aachen, Germany, Pages 257-260, Medizinische Informatik, Biometrie und Epidemiologie, Vol. 71, ISBN 978-3540525509, Springer, 1990.
In: M. E. Stickel (Hrsg.). Proceedings of 10th International Conference on Automated Deduction. International Conference on Automated Deduction (CADE-10), 10th, July 24-27, Kaiserslautern, Germany, Pages 178-192, Lecture Notes in Artificial Intelligence (LNAI), Vol. 449, Springer, Berlin - Heidelberg, 1990.