Henkin, L'Abbe, 1971. Structures algebriques suggerees par la logique mathematique 36.. https://doi.org/10.2307/2270298