Text this: An optimal algorithm for computing the closure of a set of planar rectangles and locked-transaction systems [C.T.I. Technical Report] TR. 90.11.34