Rożko, K. The Notion of Refutation in Contemporary Logic (in Polish). Diametros 2014, 115-126.