R. Sochacki, “Refutation systems for a system of nonsense-logic”, LLP, vol. 20, no. 3, pp. 233–239, Nov. 2011.