Conference paper
COMPLEXITY OF BACKTRACK SEARCHES.
Larry Carter, Larry Stockmeyer, et al.
STOC 1985
Larry Carter, Larry Stockmeyer, et al.
STOC 1985
Ron Cytron, Jeanne Ferrante, et al.
POPL 1989
Mark N. Wegman, F. Kenneth Zadeck
POPL 1985
J. Lawrence Carter, Mark N. Wegman
STOC 1977