AIB2: an abstraction data reduction technique based on IB2. - Ougiaroglou, Stefanos; Evangelidis, Georgios (2013)