Le Fun: Logic, equations, and Functions (1987)

by Hassan Aït-kaci, Patrick Lincoln, Roger Nasr
Venue:In Proc. 4th IEEE Internat. Symposium on Logic Programming