F.  Giannotti, Manco, G., Pedreschi, D., and Turini, F., ?Experiences with a Logic-based knowledge discovery Support Environment?, in 1999 ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery, 1999.