CiteSeer.IST HomeCheck: The following citations are predicted to all refer to the same paper. Details
Mark E. Stickel. A unification algorithm for associative-commutative functions. Journal of the ACM, 28(3):423--434, 1981.
M.E. Stickel. A unification algorithm for associative-commutative functions. Journal of the Association for Computing Machinery, 28:423--434, 1981.
Stickel, M.E.: "A unification algorithm for associative-commutative functions" Journal of the association for computing machinery Vol. 28, No 3, pp 423-434, July
Stickel M. [1981], `A unification algorithm for associative commutative functions', J. of the ACM 28(3), 423--434.
Mark Stickel. A unification algorithm for associative-commutative functions. Journal of the ACM, 28(3):423--434, July 1981.
M. Stickel. A unification algorithm for associative-commutative functions. J. ACM, 28(3):423--434, 1981. This article was processed using the L A T E X macro package with LLNCS style
M.E. Stickel. A unification algorithm for associative-commutative functions. Journal of the Association for Computing Machinery, 28:423--434, 1981.
Stickel, M. E. (1981). A unification algorithm for associative-commutative functions. Journal of the ACM, 28(3):423--434.
M. E. Stickel. A unification algorithm for associative-commutative functions. J. ACM, 28(3):423--434, 1981.
M. E. Stickel, A Unification Algorithm for Associative-Commutative Functions, Journal of the ACM 28: 3 (1981), 423--434.
M. Stickel. A unification algorithm for associative-commutative functions. J. ACM, 28(3):423--434, 1981.
M. Stickel. A unification algorithm for associative-commutative functions. Journal of the ACM, 28(3):423--434, 1981.
Stickel, M.E., "A Unification Algorithm for Associative-Commutative Functions," Journal of the ACM 28 (1981) 423-434.
M. Stickel. A unification algorithm for associative-commutative functions. J. ACM, 28(3):423--434, 1981.
Mark E. Stickel. A unification algorithm for associative commutative functions. Journal of the ACM, 28(3):207--274, 1981.
M. Stickel. A unification algorithm for associative-commutative functions. Journal of the Association for Computing Machinery, 28(3):423--434, 1981.
M. E. Stickel, A unification algorithm for associative-commutative functions, J. of the Association for Computing Machinery 28 (3), pp. 423-434 (1981).
M. Stickel. A unification algorithm for associative-commutative functions. Journal of the ACM, 28(3):423--434, 1981.
M. E. Stickel. A unification algorithm for associative-commutative functions. JACM, Volume 28, pages 423--434, 1981.
M. E. Stickel. A unification algorithm for associative-commutative functions. J. of the Assoc. for Comput. Mach., 28(3):423--434, July 1981.
Mark E. Stickel. A unification algorithm for Associative-Commutative Functions. Journal of the ACM, 28(3):423--434, 1981.
M.E. Stickel, A Unification Algorithm for Associative-Commutative Functions, Journal of ACM Vol. 28, No. 3, 1981, pages. 423-434.
M. Stickel. A unification algorithm for associative-commutative functions. Journal of the ACM, 28(3):423--434, 1981.
M.Stickel. "A Unification Algorithm for Associative-Commutative Functions". Journal of the ACM, Vol.28, No.3, July 1981, pp.423-434.
Mark E. Stickel. A unification algorithm for associative-commutative functions. J. ACM, 28(2):423--434, April 1981.
Mark Stickel. A unification algorithm for associative-commutative functions. Journal of the Association for Computing Machinery, 28:423--434, 1981.
M. E. Stickel. A unification algorithm for associative-commutative functions. Journal of the ACM, 28(3):423--434, 1981.
Mark Stickel. "A Unification Algorithm for Associative-Commutative Functions". JACM, Vol.28, No.3, July 1981, pp.423-434.
M. Stickel. A unification algorithm for associative-commutative functions. Journal of the ACM, 28(3):423-- 434, 1981.
M. E. Stickel. A unification algorithm for associative-commutative functions. Journal of the ACM, 28:423--434, 1981.
Stickel, M.E.: A Unification Algorithm for Associative Commutative Functions. Journal of the ACM, Vol.28, No. 3, 423-434, (1981).
Mark E. Stickel. A unification algorithm for associative-commutative functions. JACM, 28(3):423--434, July 1981.
M. Stickel. A unification algorithm for associative-commutative functions. J. Assoc. Comput. Mach., 28(3):423--434, July 1981.
M. Stickel. A unification algorithm for associative-commutative functions. J. ACM, 28(3):423--434, 1981.
Stickel, M.E. (1981). A unification algorithm for associative-commutative functions. J. of Assoc. of Comp. Mach. 28, 423-434.
M.E. Stickel. A unification algorithm for associative-commutative functions. Journal of the Association for Computing Machinery, 28:423--434, 1981.
M.E. Stickel. A unification algorithm for associative-commutative functions. Journal of the Association for Computing Machinery, 28:423--434, 1981.
M. Stickel, "A Unification Algorithm for Associative-Commutative Functions, " J. ACM 28, 1981.
M. Stickel, "A Unification Algorithm for Associative-Commutative Functions," J. ACM 28, 1981. This article was processed using the L a T E X macro package with LLNCS style
Stickel, M. E., A Unification Algorithm for Associative-Commutative Functions. J. of the ACM, 28(3):423--434 (1981).
M. Stickel. A unification algorithm for associative-commutative functions. J. ACM, 28(3):423--434, 1981.
M. Stickel. A Unification Algorithm for Associative-Commutative Functions. Journal of the ACM, 28(3), 1981.
Stickel, M.E. (1981). A unification algorithm for associative-commutative unification. Journal ACM, 28, 3, 423-434. 13
M. Stickel. A unification algorithm for associative-commutative functions. Journal of the ACM, 28(3):423--434, 1981.
M. E. Stickel. A Unification Algorithm for Associative-Commutative Functions. Journal of the Association for Computing Machinery 1981 28, pp. 423--434.
Mark E. Stickel. A unification algorithm for associative-commutative functions. JACM, 28(3):423--434, July 1981.
M.E. Stickel. A unification algorithm for associative commutative functions. J. of the ACM, 28(3):423--434, 1981. 5
Stickel, M.E. (1981). A unification algorithm for associative-commutative functions. J. of Assoc. of Comp. Mach. 28, 423-434.
M. E. Stickel. A unification algorithm for associative-commutative functions. Journal of the ACM, 28(2):423--434, April 1981.
Mark E. Stickel. A unification algorithm for associative commutative functions. Journal of the ACM, 28(3):207--274, 1981.
M. E. Stickel. A Unification Algorithm for Associative-Commutative Functions. Journal of the ACM, 28:423--434, 1981.
Mark E. Stickel. A unification algorithm for associative-commutative functions. Journal of the ACM, 28(3):423--434, July 1981.
M. Stickel. A unification algorithm for associative-commutative functions. JACM, 28(3):423--434, 1981.
M. E. Stickel, A unification algorithm for associativecommutative functions. JACM, 28(3), 1981. 78
M. Stickel. A unification algorithm for associative-commutative functions. J. ACM, 28(3):423--434, 1981.
M. E. Stickel. A unification algorithm for associative-commutative functions. Journal of the ACM, 28:423--434, 1981.
M E Stickel. A unification algorithm for associative-commutative functions. JACM, 28(3):423--434, July 1981.
M.E. Stickel, "A Unification Algorithm for Associative-Commutative Theories," Journal of the ACM 28(3):423.434, July 1981. Preliminary version in Proc. 4th Intl. Joint Conf. on Artificial Intelligence, Tbilissi, 1975.
M. E. Stickel. A Unification Algorithm for AssociativeCommutative Theories. Journal of the ACM, 28(3):423--434, July 1981.
M. E. Stickel. A unification algorithm for associative commutative functions. J. ACM 28, 1981.
M. Stickel. A unification algorithm for associative-commutative functions. J. ACM, 28:423--34, 1981.
Mark Stickel. A unification algorithm for associative-commutative functions. Journal of the ACM, 28(3):423--434, July 1981. 7