Philip T. Cox On Determining the Cause of Nonunifiability. 33-58 1987 4 J. Log. Program. 1 db/journals/jlp/jlp4.html#Cox87