Formisano, A.2022-03-022022-03-022021https://publica.fraunhofer.de/handle/publica/16754237th International Conference on Logic Programming (Technical Communications), ICLP 2021. Proceedings. Online resource