Fast Abductive Learning by Similarity-based Consistency Optimization - Huang, Yu-Xuan; Dai, Wang-Zhou; Cai, Le-Wen; Muggleton, Stephen H; Jiang, Yuan (Advances in Neural Information Processing Systems, 2021)