In the talmud the Rabbis discuss a "rebellious wife" who refuses to sleep with her husband. The husband is given recourse to deduct from her ketubah (marriage contract). This is discussed in tractate Ketubot Mishna 5:8. I would like to know if there is a process for this. Meaning does the husband file a formal complaint in court? Is this litigated? Can the wife contest? If there is no formal process does the husband just keep track and then at the time of payment display a list of deductions?