Interpretable neural network classification model using first-order logic rules. - Haiming Tuo; Zuqiang Meng; Zihao Shi; Daosheng Zhang (Neurocomputing, 2025)