@techreport{WideraBeierle01-IB280,
author={Manfred Widera and Christoph Beierle},		  
title={A Term Rewriting Scheme for Function Symbols with Variable
		  Arity},
institution={FernUniversit\"{a}t Hagen},
year=2001,
month=jan,
type={Informatik {B}erichte},
number=280
}