An algorithm for reasoning about equality Comm (1978)

by R SHOSTAK
Venue:RECEIVED JUNE 1978, REVISED APRIL 1979, ACCEPTED APRIL 1979 Journal of the Assoclat*on for Computing Machinery Vol 27, No 2, Aprd