Graeme S. Port
A Simple Approach to Finding the Cause of Non-Unifiability
ICLP, 1988.
@inproceedings{JICSCP-1988-Port88,
author = "Graeme S. Port",
booktitle = "{Proceedings of the Joint International Fifth Conference and Symposium on Logic Programming, 2 Volumes}",
isbn = "0-262-61056-6",
pages = "651--665",
publisher = "{MIT Press}",
title = "{A Simple Approach to Finding the Cause of Non-Unifiability}",
year = 1988,
}