@inproceedings{Brass2010,
  author    = {Stefan Brass},
  title     = {Range restriction for general formulas},
  year      = {2010},
}