Makoto Hamana. Equivalence of the Quotient Term Model and the Least Complete Herbrand Model for a Functional Logic Language. Journal of Functional and Logic Programming, 1997(1), 1997.
@article{Hamana97,
title = {Equivalence of the Quotient Term Model and the Least Complete Herbrand Model for a Functional Logic Language},
author = {Makoto Hamana},
year = {1997},
tags = {completeness, modeling language, language modeling, logic},
researchr = {https://researchr.org/publication/Hamana97},
cites = {0},
citedby = {0},
journal = {Journal of Functional and Logic Programming},
volume = {1997},
number = {1},
}