1. N. D. Belnap, 1976 . How a computer should think. InContemporary Aspects of Philosophy, Proceedings of the Oxford International Symposium.
2. Modal Logic
3. J. P. Delgrande, 1992 . Reducing default reasoning to classical reasoning. InAAAI-92 Tractable Reasoning Workshop, San Jose, CA.