*Static Analysis Techniques for Equational Logic Programming*

RakeshVerma

	* http://arXiv.org/abs/cs/0010034