A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs.

Jesús Manuel Almendros-Jiménez Antonio Becerra-Terón A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs. 153-169 2001 conf/flops/2001 FLOPS http://link.springer.de/link/service/series/0558/bibs/2024/20240153.htm db/conf/flops/flops2001.html#Almendros-JimenezB01