Czy nauczycielom za okres strajku przysługuje wynagrodzenie?

Sprawa dotyczy strajku nauczycieli. W 1993 r. również odbywał się strajk, który trwał 3 tygodnie. Nauczycielom zabrano pensję za ten okres. Jednakże później nauczyciele skierowali sprawę do Sądu i w orzeczeniu dostali informację, że będą mieli za te dni zapłacone. Na jakiej podstawie Sąd podjął taką decyzję? Na jaki przepis powołał się Sąd?