Michael Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic and Algebraic Programming, 19/20:583-628, 1994.
@article{Hanus94:0,
title = {The Integration of Functions into Logic Programming: From Theory to Practice},
author = {Michael Hanus},
year = {1994},
tags = {logic programming, programming, logic},
researchr = {https://researchr.org/publication/Hanus94%3A0},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Algebraic Programming},
volume = {19/20},
pages = {583-628},
}