@article{article226c91ae,
title   = {Towards automated first-order abduction: the cut-based approach},
author = {Finger, Marcelo},
year = {2012},
doi = {10.1093/jigpal/jzq052},
journal   = {Logic Journal of the IGPL}
}