Polynomial-time computation via local inference relations

@article{Givan2002PolynomialtimeCV,
title={Polynomial-time computation via local inference relations},
author={R. Givan and David A. McAllester},
journal={ACM Trans. Comput. Log.},
year={2002},
volume={3},
pages={521-541}
}

We consider the concept of a local set of inference rules. A local rule set can be automatically transformed into a rule set for which bottom-up evaluation terminates in polynomial time. The local-rule-set transformation gives polynomial-time evaluation strategies for a large variety of rule sets that cannot be given terminating evaluation strategies by any other known automatic technique. This article discusses three new results. First, it is shown that every polynomial-time predicate can be… Expand