@INPROCEEDINGS{HanusSteiner00PPDP,
author = "Hanus, M. and Steiner, F.",
title = "Type-based Nondeterminism Checking in Functional Logic Programs",
year = "2000",
pages = "202-213",
publisher = "ACM Press",
booktitle = "Proc.\ of the 2nd International ACM SIGPLAN Conference on
 Principles and Practice of Declarative Programming (PPDP'2000)"
}