Superposition-based Decision Procedures for Minimal Models