abbreviation vs reducible def

Stream: general

[Yury G. Kudryashov]

Where can I read about behavior of abbreviations and @[reducible] defs in different scenarios ? I mean, e.g., rw, simp, typeclass search, dot notation.