"Henning Pr\u00FCfer"@cs .