Rule 310.6 · Battles
Damage dealt to a battle results in that many defense counters being removed from it.
Ask the judge Pro
The life counter has an AI judge that answers your play citing the exact rules. It is part of Gatewatch Pro; the rules, Oracle text and rulings stay free.