Bor-Tsuen Lin

• Inductively defined formalisms for design inferences on sets of intervals