Zenon Kulpa Diagrammatic Representation of Interval Space in Proving Theorems about Interval Relations. 209-217 1997 3 Reliable Computing 3 http://dx.doi.org/10.1023/A:1009919304728 db/journals/rc/rc3.html#Kulpa97