A theory of non-monotonic rule systems (1992)

by W Marek, A Nerode, J Remmel
Venue:II. Annals of Mathemathics and Artificial Intelligence 5