§
Shostaks Algorithm For Combining Decision Procedures [WIP ]
https://theory.stanford.edu/~barrett/pubs/BDS02-FROCOS02.pdf