Processing by Logic Programming of Circuit-Breaker and Protective-Relaying Information | IEEE Journals & Magazine | IEEE Xplore