Return to Article Details A note on extending decision algorithms by stable predicates Download Download PDF