@workingPaper{BürckertNutt_1992,
title={On abduction and answer generation through constrained resolution},
author={Bürckert, Hans-Jürgen and Nutt, Werner},
doi={http://dx.doi.org/10.22028/D291-24886},
year={1992}
}