@incollection{MSMF_1977__49-50__15_0,
     author = {Bergman, Marc and Kanoui, Henry},
     title = {Axiomatisation des manipulations symboliques en calcul des pr\'edicats},
     booktitle = {Utilisation des calculateurs en math\'ematiques pures (Limoges, 1975)},
     series = {Bulletin de la Soci\'et\'e math\'ematique de France. M\'emoire},
     pages = {15--30},
     year = {1977},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {49-50},
     doi = {10.24033/msmf.210},
     mrnumber = {58 #13908},
     zbl = {0384.68043},
     url = {https://www.numdam.org/articles/10.24033/msmf.210/}
}