On Quaternary linear Reed-Muller codes