@inproceedings(
HoangMitch95, author="Hoang, M. and Mitchell, J.C.",
	Title="Lower bounds for type inference with subtyping",
	Booktitle="ACM Symp. Principles of
	Programming Languages",
	Year="1995",
	pages="176-185")