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.