"Bierbaum"@cs .