Jiawei Han Efficient Deduction and Induction: Key to the Success of Data-Intensive Knowledge-Base Systems. 139-157 1992 conf/db-workshops/1992 Formal Methods in Databases and Software Engineering db/conf/db-workshops/fmdbse1992.html#Han92