@inproceedings{Widera-WFLP2001,
  author={Manfred Widera},
  title={A Sketch of Complete Type Inference for Functional
		  Programming},
  booktitle={Functional and (Constraint) Logic Programming (WFLP
		  2001)},
  year=2001,
  month=sep,
  editor={Michael Hanus}
}