Cut-based abduction - D'Agostino, Marcello; Finger, Marcelo; Gabbay, Dov (Logic Journal of IGPL, 2008)