@techreport{WideraBeierle01-IB281,
author={Manfred Widera and Christoph Beierle},            
title={An Approach to Checking the Non-Disjointness of Types in
		  Functional Programming},
institution={FernUniversit\"{a}t Hagen},
year=2001,
month=jan,
type={Informatik {B}erichte},
number=281		  
}