Michael Hanus, Frank Steiner
Type-based nondeterminism checking in functional logic programs
PPDP, 2000.
@inproceedings{PPDP-2000-HanusS,
author = "Michael Hanus and Frank Steiner",
booktitle = "{Proceedings of the Second International Conference on Principles and Practice of Declarative Programming}",
doi = "10.1145/351268.351292",
pages = "202--213",
title = "{Type-based nondeterminism checking in functional logic programs}",
year = 2000,
}