Avenhaus, J., & Plaisted, D. A. (1995). General algorithms for permutations in equational inference.
Chicago Style (17th ed.) CitationAvenhaus, Jürgen, and David A. Plaisted. General Algorithms for Permutations in Equational Inference. Kaiserslautern, 1995.
MLA (9th ed.) CitationAvenhaus, Jürgen, and David A. Plaisted. General Algorithms for Permutations in Equational Inference. 1995.
Warning: These citations may not always be 100% accurate.