Login / Signup

Reasoning about Quantifiers by Matching in the E-graph.

Greg Nelson
Published in: CADE (2003)
Keyphrases