Andrew Gacek Dale Miller Gopalan Nadathur http://arxiv.org/abs/0908.1390 2009 CoRR abs/0908.1390 db/journals/corr/corr0908.html#abs-0908-1390 informal publication