3 ms·Automated Verification of Query Equivalence Using Satisfiability Modulo Theories1 points by matt_d 7y ago