Polynomial Invariant Generation for Non-deterministic Recursive Programs

Publication
ACM Conference on Programming Language Design and Implementation (PLDI)