Worms and Spiders: Reflection calculi and ordinal notation systems
  We give a general overview of ordinal notation systems arising from reflection calculi, and extend the to represent impredicative ordinals up to those representable using Buchholz-style collapsing functions. 
David Fern\'andez-Duque
math.LO