Moshe Vardi speaks out on the proof, the whole proof, and nothing but the proof.

Marianne Winslett Moshe Vardi speaks out on the proof, the whole proof, and nothing but the proof. 56-64 2006 35 SIGMOD Record 1 http://doi.acm.org/10.1145/1121995.1122008 db/journals/sigmod/sigmod35.html#Winslett06