Ana Luísa Duboc Aline Paes Gerson Zaverucha Using the Bottom Clause and Mode Declarations on FOL Theory Revision from Examples. 91-106 2008 ILP http://dx.doi.org/10.1007/978-3-540-85928-4_11 conf/ilp/2008 db/conf/ilp/ilp2008.html#DubocPZ08