"Martin Drent"@cs .