Efficient optimally lazy algorithms for minimal-interval semantics