W. Kawecki, „Wynikanie semantyczne w rachunku kwantyfikatorów“, FPhil, Nr. 1, S. 75–91, Jan. 1981.