@article{article9c930d45,
title   = {Cut-based abduction},
author = {D'Agostino, Marcello and Finger, Marcelo and Gabbay, Dov},
year = {2008},
doi = {10.1093/jigpal/jzn020},
journal   = {Logic Journal of IGPL}
}