Expectations for associative-commutative unification speedups in a multicomputer environment.

Ralph W. Wilkerson, Bruce M. McMillin

Browse the full COMPSAC paper archive.