Join algorithms for the theory of uninterpreted functions (2004)

by Sumit Gulwani, Ashish Tiwari, George C Necula
Venue:In 24th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS