Kim Marriott Lee Naish Jean-Louis Lassez Most Specific Logic Programs. 1990 1 Ann. Math. Artif. Intell. db/journals/amai/amai1.html#MarriottNL90 http://dx.doi.org/10.1007/BF01531082 303-338