The complexity of theory revision (1995)

by Russell Greiner
Venue:Proc. IJCAI