Sergio Greco Cristinel Mateis Eugenio Spadafora Unification of Bounded Simple Set Terms in Deductive Databases. 435-453 1996 conf/lid/1996 Logic in Databases db/conf/lid/lid96.html#GrecoMS96