Skip to content

A Semantic Approach to Prolog Program Analysis.

Brian J. Ross

VenueBICLP
Year1991
ProceedingsICLP Workshop on Construction of Logic Programs

Browse the full ICLP paper archive.