Regression Verification for Unbalanced Recursive Functions. - Ofer Strichman; Maor Veitsman (FM, 2016)