J. Pogonowski, „Metoda Rezolucji i Tablice Analityczne w Symbolic Logic Lewisa Carrolla”, 10.14746/il, t. 16, s. 195–218, grudz. 2008.