A theory of non-monotonic rule systems (1992)

by W Marek, A Nerode, J Remmel
Venue:II. Annals of Mathematics and Artificial Intelligence 5:229–263