W. Dalitz, M. Grötschel, and J. Lügger. Proceedings of the 15th IMACS World
Congress on Scientific Computation: Modelling and Applied Mathematics, volume 4 of Artificial Intelligence and Computer Science, page 773-778. Wissenschaft und Technik Verlag, (1997)
A. Behm, A. Geppert, and K. Dittrich. Proceedings of the 5th Int.
Conference on Re-Technologies for Information Systems, Klagenfurt, 1997, page 13-33. ACM Press, (1997)
F. Baader, and P. Hanschke. Proceedings of the Twelfth
International Joint Conference on Artificial Intelligence (IJCAI-91), page 452-457. Sydney, (1991)