@ARTICLE { AUTHOR = "Jos{\'e} Fuentes-Sep{\'u}lveda and Diego Gatica and Gonzalo Navarro and M. Andrea Rodr{\'{\i}}guez and Diego Seco", TITLE ="Space-Efficient Data Structures for the Inference of Subsumption and Disjointness Relations", JOURNAL = "Software: Practice and Experience", VOLUME = "55", NUMBER = "2", PAGES = "195-219", YEAR = "2025", PUBLISHER = "John Wiley \& Sons", ADDRESS = "Hoboken, NJ, USA", ISSN = "0038-0644" }