• Towards combining dense linear order with random graphs

      Liu, J; Zhang, T (4th International Joint Conference on Automated Reasoning (IJCAR 2008), 2008)
      In this paper we present our work in progress towards obtaining a Nelson-Oppen style combination for combining quantified theories, where each individual component theory admits quantifier elimination. We introduces the ...