Determination of load block compositions in load-shedding schemes: logic programming approach | IEEE Journals & Magazine | IEEE Xplore