Structure-Guided Solution of Constrained Horn Clauses. - Omer Rappoport; Orna Grumberg; Yakir Vizel (ATVA, 2023)