Dan Sahlin
Determinacy Analysis for Full Prolog
PEPM, 1991.
@inproceedings{PEPM-1991-Sahlin, author = "Dan Sahlin", booktitle = "{Proceedings of the First Workshop on Partial Evaluation and Semantics-Based Program Manipulation}", doi = "10.1145/115865.115869", isbn = "0-89791-433-3", pages = "23--30", publisher = "{ACM}", title = "{Determinacy Analysis for Full Prolog}", year = 1991, }