Gras' book *Class field theory: from theory to practice* has an entire section devoted to the reflection principle you mention and its generalizations. It also shows up in Manjul Bhargava's work, but given what you say you're interested in, you likely already know about his work.