Mikolás Janota Goetz Botterweck Radu Grigore João Marques-Silva http://arxiv.org/abs/0910.3913 2009 CoRR abs/0910.3913 db/journals/corr/corr0910.html#abs-0910-3913 informal publication