Hains, G., & McColl, B. (1989). Parallel algorithms for free and associative-commutative unification.
Citación estilo ChicagoHains, G., and B. McColl. Parallel Algorithms for Free and Associative-commutative Unification. 1989.
Cita MLAHains, G., and B. McColl. Parallel Algorithms for Free and Associative-commutative Unification. 1989.
Warning: These citations may not always be 100% accurate.