Combining Decision Procedures for Positive Theories 
C. Tinelli

On closer scrutiny, the results presented in this talk have been 
later found incorrect. The author is now working on a revised 
version of this work. 
For more information, please contact the author directly at 
tinelli@cs.uiowa.edu.