A note on extending decision algorithms by stable predicates
Alfredo Ferro, Giuseppe Sorace, Jacob T. Schwartz · Le Matematiche · 1988
A general mechanism to extend decision algorithms to deal with additional predicates is described. The only conditions imposed on the predicates is stability with respect to some transitive relations.