Maarten H. van Emden
Conditional Answers for Polymorphic Type Inference
ICLP, 1988.
@inproceedings{JICSCP-1988-Emden88, author = "Maarten H. van Emden", booktitle = "{Proceedings of the Joint International Fifth Conference and Symposium on Logic Programming, 2 Volumes}", isbn = "0-262-61056-6", pages = "590--603", publisher = "{MIT Press}", title = "{Conditional Answers for Polymorphic Type Inference}", year = 1988, }