Lars Arge Rusins Freivalds Algorithm Theory - SWAT 2006, 10th ScandinavianWorkshop on Algorithm Theory, Riga, Latvia, July 6-8, 2006, Proceedings 4059 2006 3-540-35753-X SWAT Lecture Notes in Computer Science Springer db/conf/swat/swat2006.html