@TECHREPORT{BaaTin-RR-98,
 author		= {Franz Baader and Cesare Tinelli},
 title		= {Deciding the Word Problem in the 
		   Union of Equational Theories},
 institution	= {Department of Computer Science, 
		   University of Illinois at Urbana-Champaign},
 month		= oct,
 year		= 1998,
 number		= {UIUCDCS-R-98-2073},
 url		= {http://www.cs.uiuc.edu/Dienst/UI/2.0/Describe/ncstrl.uiuc_cs/UIUCDCS-R-98-2073},
}