Algorithm theory swat 2000 - Halldorsson, Magnus M (2000)