1. Queries and concept-learning;Angluin;Mach. Learn.,1987
2. An amateur's introduction to recursive query processing strategies;Bancilhon,1986
3. Guiding induction with domain theories;Bergadano,1990
4. Intensional updates: abduction via deduction;Bry,1990