John Darlington Yike Guo Helen Pull A New Perspective on Integrating Functional and Logic Languages. 682-693 1992 FGCS db/conf/fgcs/fgcs92.html#DarlingtonGP92