@workingPaper{Smolka_1991,
title={Residuation and guarded rules for constraint logic programming},
author={Smolka, Gert},
doi={http://dx.doi.org/10.22028/D291-24821},
year={1991}
}