Sciweavers

Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures
Recent Google, Yahoo, MSN search queries leading to this post
Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures