A Semantic Approach to Prolog Program Analysis

Brian J. Ross. A Semantic Approach to Prolog Program Analysis. In ICLP. pages 165-187, 1991.

Abstract

Abstract is missing.