"Reto Lory"@cs .