A Generalization of Shostak's Method for Combining Decision Procedures A Generalization of Shostak s Metho d forCombining Decision Pro ceduresClark W Barrett David L Dill and Aaron StumpStanford University Stanford CA USA http verify stanford edu c