Algebraic Manipulations as a Unification and Matching Strategy for Linear Equations in Signed Binary Trees.

Claude Kirchner, Hlne Kirchner, Jean-Pierre Jouannaud

Browse the full IJCAI paper archive.