[PADL'24] Using Logic Programming and Kernel-Grouping for Improving Interpretability of Co... | ACM SIGPLAN | Podwise