TY - RPRT TI - JSON Schema Inclusion through Refutational Normalization: Reconciling Efficiency and Completeness AU - Mohamed-Amine Baazizi AU - Nour El Houda Ben Ali AU - Dario Colazzo AU - Giorgio Ghelli AU - Stefan Klessinger AU - Carlo Sartiani AU - Stefanie Scherzinger PY - 2026 UR - https://arxiv.org/abs/2603.25306 ID - 2603.25306 ER -