Michael Hanus, Frank Steiner. Type-based nondeterminism checking in functional logic programs. In PPDP. pages 202-213, 2000. [doi]
@inproceedings{HanusS00,
title = {Type-based nondeterminism checking in functional logic programs},
author = {Michael Hanus and Frank Steiner},
year = {2000},
doi = {10.1145/351268.351292},
url = {http://doi.acm.org/10.1145/351268.351292},
tags = {rule-based, functional programming, type checking, logic programming, logic},
researchr = {https://researchr.org/publication/HanusS00},
cites = {0},
citedby = {0},
pages = {202-213},
booktitle = {PPDP},
}