Strategies for combining decision procedures - CONCHON, Sylvain; KRSTIC, Sava (Tools and algorithms for the construction and analysis of systems (TACAS 2003), 2006)
text