1. G. Amati, L. Carlucci Aiello, D. Gabbay, F. Pirri. A proof theoretical approach to default reasoning I: tableaux for default logic. To appear in the Journal of Logic and Computation.
2. C. Bell, A. Nerode, R. Ng and V.S. Subrahmanian. Implementing deductive databases by linear programming. In Proc. of ACM-PODS, 1992.
3. C. Bell, A. Nerode, R. Ng and V.S. Subrahmanian. Implementing stable semantics by linear programming. In L.M. Pereira, A. Nerode (eds.) Logic Programming and Non-monotonic Reasoning: Proc. of the Second Int. Workshop. MIT Press, Cambridge, Massachussetts, 1993.
4. R.N. Bol, J.F. Groote. The meaning of negative premises in transition system specifications. In Proc. of ICALP 91, LNCS 510, Springer-Verlag, 1991.
5. A. Bochman. On the relation between default and modal consequence relations. In Proc. of KR'94, 63–74, Morgan Kaufmann, 1994.