@article{duchier:inria-00099677, TITLE = {{Dominance Constraints With Boolean Connectives: A Model-Eliminative Treatment}}, AUTHOR = {Duchier, Denys}, URL = {https://inria.hal.science/inria-00099677}, NOTE = {Article dans revue scientifique avec comit{\'e} de lecture. internationale.}, JOURNAL = {{Theoretical Computer Science}}, HAL_LOCAL_REFERENCE = {A03-R-401 || duchier03a}, PUBLISHER = {{Elsevier}}, VOLUME = {293}, NUMBER = {2}, PAGES = {321-343}, YEAR = {2003}, DOI = {10.1016/S0304-3975(01)00350-4}, KEYWORDS = {dominance constraints ; constraint propagation ; tree descriptions ; contraintes de dominance ; model elimination ; description d'arbres ; elimination de modeles ; propagation de contraintes}, HAL_ID = {inria-00099677}, HAL_VERSION = {v1}, }