Logical reduction of metarules

Open in new window