Automatic maintenance of transitive properties with applications to shape analysis

Tal Lev-Ami. Automatic maintenance of transitive properties with applications to shape analysis. PhD thesis, Tel Aviv University, Israel, 2009. [doi]

Abstract

Abstract is missing.