I'm OK if you're OK: On the notion of trusting communication Ronald FaginJoseph Y. Halpern OriginalPaper Pages: 329 - 354
Circumscriptive theories: A logic-based framework for knowledge representation Vladimir Lifshitz OriginalPaper Pages: 391 - 441