Brian J. Ross. A Semantic Approach to Prolog Program Analysis. In ICLP. pages 165-187, 1991.
@inproceedings{Ross91:3, title = {A Semantic Approach to Prolog Program Analysis}, author = {Brian J. Ross}, year = {1991}, tags = {Prolog, program analysis, analysis, systematic-approach}, researchr = {https://researchr.org/publication/Ross91%3A3}, cites = {0}, citedby = {0}, pages = {165-187}, booktitle = {ICLP}, }