Equivalence of the Quotient Term Model and the Least Complete Herbrand Model for a Functional Logic Language.

Makoto Hamana Equivalence of the Quotient Term Model and the Least Complete Herbrand Model for a Functional Logic Language. 1997 1997 Journal of Functional and Logic Programming 1 db/journals/jflp/jflp1997.html#Hamana97 http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1997/A97-01/A97-01.html