Defaults and revision in structured theories (1991)

by Mark D Ryan
Venue:In Proceedings of the Sixth IEEE Symposium on Logic in Computer Science (LICS