Jael Kriener, Andy King. RedAlert: Determinacy inference for Prolog. TPLP, 11(4-5):537-553, 2011. [doi]
@article{KrienerK11, title = {RedAlert: Determinacy inference for Prolog}, author = {Jael Kriener and Andy King}, year = {2011}, doi = {10.1017/S1471068411000160}, url = {http://dx.doi.org/10.1017/S1471068411000160}, tags = {Prolog}, researchr = {https://researchr.org/publication/KrienerK11}, cites = {0}, citedby = {0}, journal = {TPLP}, volume = {11}, number = {4-5}, pages = {537-553}, }