Ken Satoh, Takeaki Uno. Enumerating Minimally Revised Specifications Using Dualization. In Takashi Washio, Akito Sakurai, Katsuto Nakajima, Hideaki Takeda, Satoshi Tojo, Makoto Yokoo, editors, New Frontiers in Artificial Intelligence, Joint JSAI 2005 Workshop Post-Proceedings. Volume 4012 of Lecture Notes in Computer Science, pages 182-189, Springer, 2005. [doi]
Abstract is missing.