Interpretation and inference with maximal referential terms

Livio Robaldo. Interpretation and inference with maximal referential terms. J. Comput. Syst. Sci., 76(5):373-388, 2010. [doi]

Abstract

Abstract is missing.