Panjkovic, S.; Micheli, A. Expressive Optimal Temporal Planning via Optimization Modulo Theory. AAAI 2023, 37, 12095-12102.