TY  - RPRT
TI  - Weak subsumption Constraints for Type Diagnosis: An Incremental Algorithm
AU  - Martin Mueller
AU  - Joachim Niehren
PY  - 1995
UR  - https://arxiv.org/abs/cmp-lg/9506002
ID  - cmp-lg/9506002
ER  -