The complexity of theory revision (1995)

by Russell Greiner
Venue:In Proceedings of IJCAI-95