Certified Logic-Based Explainable AI – The Case of Monotonic Classifiers | Publicación