Stem overapproxim$ (all stems)
1 papers:
SAS-2011-VerdoolaegeCB #approximate #integer #transitive #tuple- Transitive Closures of Affine Integer Tuple Relations and Their Overapproximations (SV, AC, AB), pp. 216–232.
SAS-2011-VerdoolaegeCB #approximate #integer #transitive #tuple