We are happy to announce that our paper

F. Fabiano and A. Dal Palù. An ASP approach for arteries classification in CT scans. Journal of Logic and Computation, 2022

has been published!

More info at the project page