Baral, et al.. Expanding Queries to Incomplete Databases by Interpolating General Logic Programs. Elsevier BV, 1998, doi:10.1016/s0743-1066(97)10011-5.