Efficient lazy algorithms for minimal-interval semantics