Reasoning About Assumptions in Graphs of Models

Sanjaya Addanki, Roberto Cremonini, J. Scott Penberthy. Reasoning About Assumptions in Graphs of Models. In IJCAI. pages 1432-1438, 1989.

Abstract

Abstract is missing.