Slides -- Equality with uninterpreted functions -- printable
all-cclosure-ho.pdf
—
PDF document,
268 kB (275380 bytes)