穆罕默德·拉扎 菲利普·加德纳 局部推理中的足迹 http://arxiv.org/abs/0903.1032 2009 日志。方法计算。科学。 5 db/journals/lmcs/lmcs5.html#abs-0903-1032 2