Makoto HamanaEquivalence of the Quotient Term Model and the Least Complete Herbrand Model for a Functional Logic Language.19971997Journal of Functional and Logic Programming1db/journals/jflp/jflp1997.html#Hamana97http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1997/A97-01/A97-01.html