Reasoning about Quantifiers by Matching in the E-graph.

Greg Nelson

Browse the full CADE paper archive.