S. Barry Cooper Benedikt Löwe Peter van Emde Boas Theory of Computation at CiE 2005. 1-2 2007 41 Theory Comput. Syst. 1 http://dx.doi.org/10.1007/s00224-006-4101-x db/journals/mst/mst41.html#CooperLB07