*Papers*

	* StaticAnalysisTechniquesForEquationalLogicProgramming