ХАХАНЯН, В. Система NFI, равнонепротиворечивая с системой куайна NF. Логические исследования, v. 9, p. 245-250, 3 окт. 2002.