[InternetShortcut]
URL=http://ai.stanford.edu/users/sahami/CS2013/ironman-draft/cs2013-ironman-v0.8.pdf
;;; http://ai.stanford.edu/users/sahami/CS2013/strawman-draft/cs2013-strawman.pdf