A Simple Approach to Finding the Cause of Non-Unifiability.

Graeme S. Port

Browse the full ICLP paper archive.