1. Term Rewriting and All That;Baader,1998
2. Explaining type errors in polymorphic languages;Beaven;ACM Lett. Programming Languages Systems,1993
3. K.L. Bernstein, E.W. Stark, Debugging type errors (full version), Technical Report, State University of New York, Stony Brook, 1995.
4. S. Carlier, C.H. Haack, J.B. Wells, Web demo: type error slicing, 2002, http://www.macs.hw.ac.uk/ultra/compositional-analysis/type-error-slicin%g.
5. O. Chitil, Compositional explanation of types and algorithmic debugging of type errors, in: Proc. Sixth Internat. Conf. Functional Programming, ACM Press, New York, 2001.