Logical constants - Grünberg, Teo (Ankara)
47-81 s.