Defaults and revision in structured theories (1991)

by M Ryan
Venue:In Proc. Sixth IEEE Symposium on Logic in Computer Science (LICS