Ginisti, J. P. O poprawności Logicznej Definicji Wyraźnych. FPhil 1988, 103-127.