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

Kirchner et al. "Algebraic Manipulations as a Unification and Matching Strategy for Linear Equations in Signed Binary Trees." International Joint Conference on Artificial Intelligence, 1981.

[Kirchner et al. "Algebraic Manipulations as a Unification and Matching Strategy for Linear Equations in Signed Binary Trees." International Joint Conference on Artificial Intelligence, 1981.](https://mlanthology.org/ijcai/1981/kirchner1981ijcai-algebraic/)

@inproceedings{kirchner1981ijcai-algebraic,
  title     = {{Algebraic Manipulations as a Unification and Matching Strategy for Linear Equations in Signed Binary Trees}},
  author    = {Kirchner, Claude and Kirchner, Hélène and Jouannaud, Jean-Pierre},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1981},
  pages     = {1016-1023},
  url       = {https://mlanthology.org/ijcai/1981/kirchner1981ijcai-algebraic/}
}