Suchergebnisse - nonnumerical algorithms AND problems—complexity of proof praze- dures general terms~