Hiroki Ishizaka Hiroki Arimura Takeshi Shinohara Finding Tree Patterns Consistent with Positive and Negative Examples Using Queries. 101-115 1998 23 Ann. Math. Artif. Intell. 1-2 db/journals/amai/amai23.html#IshizakaAS98