A static analysis of prolog programs /
Matsumoto, H.
University of Edinburgh.Artificial Intelligence Applications Institute.
Edinburgh : Artificial Intelligence Applications Institute, University of Edinburgh,
1985.