Hassan Aït-Kaci Patrick Lincoln Roger Nasr Le Fun: Logic, Equations and Functions. 17-23 1987 SLP db/conf/slp/slp87.html#Ait-KaciLN87