Rong-Lei Sun. Study on the Non-expandability of DNF and Its Application to Incremental Induction. In Caihua Xiong, Honghai Liu, Yongan Huang, Youlun Xiong, editors, Intelligent Robotics and Applications, First International Conference, ICIRA 2008, Wuhan, China, October 15-17, 2008 Proceedings, Part I. Volume 5314 of Lecture Notes in Computer Science, pages 699-706, Springer, 2008. [doi]
Abstract is missing.