Logic-Based Pattern Discovery | IEEE Journals & Magazine | IEEE Xplore