@workingPaper{Hollunder_1993,
title={An alternative proof method for possibilistic logic and its application to terminological logics},
author={Hollunder, Bernhard},
doi={http://dx.doi.org/10.22028/D291-24993},
year={1993}
}