@inproceedings{Widera-Scheme2001,
  author={Manfred Widera},
  title={An Algorithm for Checking the Disjointness of Types},
  booktitle={Proceedings of the Second Workshop on Scheme and
		  Functional Programming},
  year=2001,
  month=sep,
  editor={Manuel Serrano}
}