Programming-by-Example with Nested Examples. - Tomer Katz; Hila Peleg (VL/HCC, 2023)