@workingPaper{Aït-KaciPodelskiSmolka_1992, title={A feature-based constraint system for logic programming with entailment}, author={Aït-Kaci, Hassan and Podelski, Andreas and Smolka, Gert}, doi={http://dx.doi.org/10.22028/D291-24919}, year={1992} }