Journal of Logic Programming 12(3) Feb 1992
(1992)
Moreno-Navarro et al, (1992)
Moreno-Navarro et al, "Logic Programming with Functions and Predicates: The Language BABEL"