• Shumo Chu, Brendan Murphy, Jared Roesch, Alvin Cheung, Dan Suciu,
    Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries
    Published in PVLDB, vol. 11 , no. 11 , pp. 1482--1495 , 2018