@misc{miscf9501365,
title   = {Using abduction to compute efficient proofs},
author = {Finger, Marcelo},
year = {2009},
doi = {10.1016/j.entcs.2009.07.047},
publisher = {Elsevier},
booktitle   = {Workshop on Logical and Semantic Frameworks, with Applications - LSFA}
}