Link to Paper
For additional information on Prof. Laitin, please visit his professional homepage: http://www.stanford.edu/~dlaitin/