Periklis Mantenoglou, Rishi Hazra, Pedro Zuidberg Dos Martires, Luc De Raedt: LexiCon: a Benchmark for Planning under Temporal Constraints in Natural Language. CoRR abs/2510.05972 (2025)