Subrata Kumar Das, John Fox. A Logic for Reasoning about Safety in Decision Support Systems. In Michael Clarke, Rudolf Kruse, SerafĂn Moral, editors, Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQARU 93, Granada, Spain, November 8-10, 1993, Proceedings. Volume 747 of Lecture Notes in Computer Science, pages 79-84, Springer, 1993.
Abstract is missing.