report{Schmidhuber:03gm,
author ={J. Schmidhuber},
title ={G\"{o}del machines: self-referential universal problem
solvers making provably optimal self-improvements},
number ={IDSIA-19-03,  arXiv:cs.LO/0309048},
institution ={IDSIA},
address={Manno-Lugano, Switzerland},
year   = {2003}}