DBLP Record 'journals/constraints/AbdennadherFM99'

BibTeX

@article{DBLP:journals/constraints/AbdennadherFM99,
  author    = {Slim Abdennadher and
               Thom W. Fr{\"u}hwirth and
               Holger Meuss},
  title     = {Confluence and Semantics of Constraint Simplification Rules},
  journal   = {Constraints},
  volume    = {4},
  number    = {2},
  year      = {1999},
  pages     = {133-165},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}