Unification Algorithms Cannot Be Combined in Polynomial Time.

Miki Hermann Phokion G. Kolaitis Unification Algorithms Cannot Be Combined in Polynomial Time. 24-42 2000 162 Inf. Comput. 1-2 db/journals/iandc/iandc162.html#HermannK00