TY - RPRT TI - The Propagation Depth of Local Consistency AU - Christoph Berkholz PY - 2014 UR - https://arxiv.org/abs/1406.4679 ID - 1406.4679 ER -