"Reiulf Steen"@cs .