TPTP Reference: Gus20

@Article{Gus20-NOUS,
    Author       = "Gustafsson, J.",
    Year         = "2020",
    Title        = "{A Paradox for the Intrinsic Value of Freedom of Choice}",
    Journal      = "No{\^u}s",
    Volume       = "54",
    Number       = "4",
    Pages        = "891-913",
    Comment      = "TPTPRef"
}

@Article{Gus20,
    Author       = "Gustafsson, J.",
    Year         = "2020",
    Title        = "{A Patch to the Possibility Part of G{\"o}del's Ontological
                    Proof}",
    Journal      = "Analysis",
    Volume       = "80",
    Number       = "2",
    Pages        = "229-240",
    Comment      = "TPTPRef"
}