Unification of Functional and Logic Languages (1986)

by J Darlington, A J Field, H Pull
Venue:In DeGroot and Lindstrom (eds.), Logic Programming, Relations, Functions and Equations