@unpublished{debugtype,
	author = "K. Bernstein and E. W. Stark",
	title = "Debugging Type Errors (full version)",
	year = 1995,
	month = NOV,
	note = "\texttt{http://bsd7.starkhome.cs.sunysb.edu/~stark/REPORTS/debugtype.ps.gz}"
}