Bernhard Hollunder. An Alternative Proof Method for Possibilistic Logic and its Application to Terminological Logics. In Ramon López de Mántaras, David Poole, editors, UAI 94: Proceedings of the Tenth Annual Conference on Uncertainty in Artificial Intelligence, July 29-31, 1994, Seattle, Washington, USA. pages 327-335, Morgan Kaufmann, 1994. [doi]
Abstract is missing.