Medeiros, L., 		Oliveira, F., & 		Szwarcfiter, J.
2021 Jul 18.  Algorithmic upper bound on the interval count. Proceedings of  the Theory of Computation Meeting (ETC). [Online] :