W. Kawecki, “Wynikanie semantyczne w rachunku kwantyfikatorów”, FPhil, no. 1, pp. 75–91, Jan. 1981.