Three Variables Suffice for Real-Time Logic.

Timos Antonopoulos, Paul Hunter, Shahab Raza, James Worrell

Browse the full FOSSACS paper archive.