Yoshiaki Okubo Makoto Haraguchi Constructing Predicate Mappings for Goal-Dependent Abstraction. 169-197 1998 23 Ann. Math. Artif. Intell. 1-2 db/journals/amai/amai23.html#OkuboH98