Zhou Chaochen Michael R. Hansen An Adequate First Order Interval Logic. 584-608 1997 conf/compos/1997 COMPOS http://link.springer.de/link/service/series/0558/bibs/1536/15360584.htm db/conf/compos/compos1997.html#ChaochenH97