A maximum-flow approach to anomaly isolation in unification-based incremental type inference

Johnson, G. F., & Walz, J. A. (1986). A maximum-flow approach to anomaly isolation in unification-based incremental type inference. In Conference Record of the Annual ACM Symposium on Principles of Programming Languages (Vol. Part F130414, pp. 44–57). Association for Computing Machinery. https://doi.org/10.1145/512644.512649