Decision Procedures slides on first-order logic and theories
decisionProcedures-fol-theories.pdf
—
PDF document,
549 kB (563138 bytes)