Hassan Aït-Kaci, Patrick Lincoln, Roger Nasr. Le Fun: Logic, Equations and Functions. In SLP. pages 17-23, 1987.
@inproceedings{Ait-KaciLN87,
title = {Le Fun: Logic, Equations and Functions},
author = {Hassan Aït-Kaci and Patrick Lincoln and Roger Nasr},
year = {1987},
tags = {logic},
researchr = {https://researchr.org/publication/Ait-KaciLN87},
cites = {0},
citedby = {0},
pages = {17-23},
booktitle = {SLP},
}