Published in IEEE TCOMM: “Reduced-Complexity Projection-Aggregation List Decoder for Reed-Muller Codes”