1. Ballarin, C.: Tutorial to locales and locale interpretation. In: Contribuciones científicas en honor de Mirian Andrés Gómez, pp. 123–140. Universidad de La Rioja (2010)
2. Bucic, M., Kwan, M., Pokrovskiy, A., Sudakov, B., Tran, T., Wagner, A.Z.: Nearly-linear monotone paths in edge-ordered graphs. arXiv preprint arXiv:1809.01468 (2018)
3. Calderbank, A.R., Chung, F.R., Sturtevant, D.G.: Increasing sequences with nonzero block sums and increasing paths in edge-ordered graphs. Discret. Math. 50, 15–28 (1984)
4. Chavtal, V., Komlos, J.: Some combinatorial theorems on monocity. In: Notices of the American Mathematical Society, vol. 17, p. 943. American Mathematical Society, 201 Charles St, Providence, RI 02940-2213 (1970)
5. Cook, B., Kovács, L., Lachnitt, H.: Personal Communications on Automated Reasoning at AWS (2019)