The present proposal is also employed in Tarski and Givant (1987).
Η παρούσα πρόταση απασχολείται επίσης και στο έργο των Τάρσκι και Ζιβάντ (Givant) (1987).