David A. McAllester Automatic Recognition of Tractability in Inference Relations. 284-303 1993 40 J. ACM 2 db/journals/jacm/jacm40.html#McAllester93 http://doi.acm.org/10.1145/151261.151265