@misc{Silva2004,
  author    = {{Tomas Oliveira e Silva}},
  title     = {{Computational verification of $3x+1$ conjecture}},
  year      = {{2004}},
  url       = {{http://www.ieeta.pt/~tos/}},
  note      = {{Email: tos@ieeta.pt}},
}