Definite Resolution over Constraint Languages

Cite this paper

@article{Hhfeld1988DefiniteRO, title={Definite Resolution over Constraint Languages}, author={Markus H{\"{o}hfeld and Gert Smolka}, journal={LILOG-Report}, year={1988}, volume={53} }