Ulrich Furbach Steffen Hölldobler Modelling the Combination of Functional and Logic Programming Languages. 123-138 1986 2 J. Symb. Comput. 2 db/journals/jsc/jsc2.html#FurbachH86