Reasoning with Quantifiers and Theories Using Saturation-Based Reasoning | IEEE Conference Publication | IEEE Xplore