Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures.

Maria Paola Bonacina, Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli

Browse the full CADE paper archive.