@workingPaper{Bürckert_1990,
title={A resolution principle for clauses with constraints},
author={Bürckert, Hans-Jürgen},
doi={http://dx.doi.org/10.22028/D291-24908},
year={1990}
}