Méthode à résoudre des relations dont les résolutions appartiennent à un ensemble fini. Cariolan Ghilezan — 1970 Publications de l'Institut Mathématique [Elektronische Ressource]
Une généralisation du théorème de Löwenheim sur les équations de Boole. Cariolan Ghilezan — 1971 Publications de l'Institut Mathématique [Elektronische Ressource]