Automated Reasoning with Power Maps. - G. I. Moghaddam; Ranganathan Padmanabhan; Yang Zhang 045 (J. Autom. Reason., 2020)