Conference paper
COMPLEXITY OF BACKTRACK SEARCHES.
Larry Carter, Larry Stockmeyer, et al.
STOC 1985
Conference paper
SUMMARIZING GRAPHS BY REGULAR EXPRESSIONS.
Related
Conference paper
Efficient method of computing static single assignment form
Ron Cytron, Jeanne Ferrante, et al.
POPL 1989
Michael D. Monkowski, Richard A. Wachnik, et al.
IEEE Transactions on Electron Devices
Conference paper
CONSTANT PROPAGATION WITH CONDITIONAL BRANCHES.
Mark N. Wegman, F. Kenneth Zadeck
POPL 1985