@article{articleaff5bc3a,
title   = {Completeness for cut-based abduction},
author = {Arruda, Alexandre Matos and Finger, Marcelo},
year = {2014},
doi = {10.1093/jigpal/jzt028},
booktitle   = {Brazilian Logic Conference- Encontro Brasileiro de Lógica (EBL)}
}