Towards automated first-order abduction: the cut-based approach - Finger, Marcelo (Logic Journal of the IGPL, 2012)