2008-11-24 14:06:49 http://www.cs.princeton.edu/~mfreed/docs/fof-iptps07.pdf