Author: Robert E. Shostak

Publications

Publication period start: 1978

Publications

Shostak, Robert E. (1978): An Algorithm for Reasoning About Equality. In Communications of the ACM, 21 (7) pp. 583-585.