JSON Schema Inclusion through Refutational Normalization: Reconciling Efficiency and Completeness. - Mohamed-Amine Baazizi; Nour El Houda Ben Ali; Dario Colazzo; Giorgio Ghelli; Stefan Klessinger; Carlo Sartiani; Stefanie Scherzinger (CoRR, 2026)