@incollection{WideraBeierle2000b,
author={Manfred Widera and Christoph Beierle},
title={Detecting Common Elements of Types},
booktitle={Trends in Functional Programming},
volume=2,		  
publisher={Intellect},
editor={Stephen Gilmore},
year=2000
}