../ PLEXIL.1.pdf 12-Jul-2025 20:23 81828 TITAN.RMPL.pdf 12-Jul-2025 20:23 1145263 TREX.AAAI08.doc 12-Jul-2025 20:23 1005568 TREX.FORMAL.pdf 12-Jul-2025 20:23 324666 TREX.ICRA.08.pdf 12-Jul-2025 20:23 1306824