Jianmin Zhang, Tiejun Li, Kefan Ma: Accelerating Predicate Abstraction by Minimum Unsatisfiable Cores Extraction. NCTCS 2020: 3-13