Cristian Molinaro Jan Chomicki Jerzy Marcinkowski http://arxiv.org/abs/0811.2117 2008 CoRR abs/0811.2117 db/journals/corr/corr0811.html#abs-0811-2117 informal publication