A note on extending decision algorithms by stable predicates

Alfredo Ferro, Giuseppe Sorace, Jacob T. Schwartz

Abstract


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.

Full Text: pdf