Processor Verification Using Efficient Reductions of the Logic of Uninterpreted Functions to Propositional Logic

What this record says

The logic of equality with uninterpreted functions (EUF) provides a means of abstracting the manipulation of data by a processor

CATALOG · The abstract is indexed.