Goharshady, 2020. Polynomial Invariant Generation for Non-deterministic Recursive Programs.