Andrei Voronkov. Reasoning with Quantifiers and Theories Using Saturation-Based Reasoning. In 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018. pages 18, IEEE, 2018. [doi]
Abstract is missing.