An Automated Approach to Reasoning About Task-Oriented Insights in Responsive Visualization | IEEE Journals & Magazine | IEEE Xplore