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