Franz Baader, Sebastian Brandt, Ralf Küsters. Matching under Side Conditions in Description Logics. In Bernhard Nebel, editor, Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001. pages 213-218, Morgan Kaufmann, 2001.
Abstract is missing.