Three Variables are Enough for Real-Time Specification. - Timos Antonopoulos; Paul Hunter 001; Shahab Raza; James Worrell 001 (CoRR, 2014)

Three Variables Suffice for Real-Time Logic. - Timos Antonopoulos; Paul Hunter 001; Shahab Raza; James Worrell 001 (FoSSaCS, 2015)