On the Unusual Effectiveness of Logic in Computer Science (2001) [pdf]cs.cmu.edu2 pointslainon8 years ago