On the Generalization of Learned Constraints for ASP Solving in Temporal Domains | Publicación