Kamal Lodaya Sharpening the Undecidability of Interval Temporal Logic. 290-298 http://link.springer.de/link/service/series/0558/bibs/1961/19610290.htm 2000 conf/asian/2000 ASIAN db/conf/asian/asian2000.html#Lodaya00