"Skule Tostesson"@cs .