R.: Le fun: Logic, equations, and functions (1987)

by H Ait-Kaci, P Lincoln, Nasr
Venue:In: IEEE Symposium on Logic Programming