Avenhaus, J., & Plaisted, D. A. (1995). General algorithms for permutations in equational inference.
Chicago-Zitierstil (17. Ausg.)Avenhaus, Jürgen, und David A. Plaisted. General Algorithms for Permutations in Equational Inference. Kaiserslautern, 1995.
MLA-Zitierstil (9. Ausg.)Avenhaus, Jürgen, und David A. Plaisted. General Algorithms for Permutations in Equational Inference. 1995.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.