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
Citations:44 - 1 self