1. A generalisation of Löwenheim's theorem;Banković;Bull. Soc. Math. Belg. Ser. B,1992
2. Une méthode de resolution des equations dont toutes les solutions appartiennent à un ensemble fini donné;Prešić;C.R. Acad. Sci. Paris Ser. A,1971
3. Boolean Functions and Equations;Rudeanu,1974