Author: Robert E. Shostak
Publication Overview
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.