Improving Model Inference via W-Set Reduction. - Moritz Halm; Rafael S. Braz; Roland Groz; Catherine Oriat; Adenilso Simão (ICTSS, 2021)