A Linear-Time Transition System for Crossing Interval Trees

   Abstract