A Theory of Nonmonotonic Rule Systems

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel. A Theory of Nonmonotonic Rule Systems. In Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 4-7 June 1990, Philadelphia, Pennsylvania, USA. pages 79-94, IEEE Computer Society, 1990.

Abstract

Abstract is missing.