DBLP Record 'journals/corr/abs-cmp-lg-9506002'

BibTeX

@article{DBLP:journals/corr/abs-cmp-lg-9506002,
  author    = {Martin M{\"u}ller and
               Joachim Niehren},
  title     = {Weak subsumption Constraints for Type Diagnosis: An Incremental
               Algorithm},
  journal   = {CoRR},
  volume    = {abs/cmp-lg/9506002},
  year      = {1995},
  ee        = {http://arxiv.org/abs/cmp-lg/9506002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}