Leal, G., 		Silva, H., 		Longo, H., & 		Foulds, L.
2024 Jul 21.  Valid Paths, a short synthesis. Proceedings of  the Theory of Computation Meeting (ETC). [Online] :