@dblp

A System at the Cross-Roads of Functional and Logic Programming.

. Sci. Comput. Program., 19 (3): 239-279 (1992)

Links and resources

Tags