TY  - RPRT
TI  - Polynomial-time Computation via Local Inference Relations
AU  - Robert Givan
AU  - David McAllester
PY  - 2000
UR  - https://arxiv.org/abs/cs/0007020
ID  - cs/0007020
ER  -