CXAD: Contrastive Explanations for Anomaly Detection: Algorithms, Complexity Results and Experiments. - Ian Davidson; Nicolás Kennedy; S. S. Ravi (Trans. Mach. Learn. Res., 2025)