Almeida JB, Pinto JS, Vilaça M.? 2007.??A Local Graph-rewriting System for Deciding Equality in Sum-product Theories. Electronic Notes in Theoretical Computer Science. 176(1):139-163.