"B\u00FCcker "@cs .