Induced Minor Models. I. Structural Properties and Algorithmic Consequences - Bousquet, Nicolas; Dallard, Clément; Dumas, Maël; Hilaire, Claire; Milanič, Martin; Perez, Anthony; Trotignon, Nicolas (Journal of computer and system sciences, 2025)