"Elladan"@cs .