TPTP Reference: Lif95

TPTP Reference: `Lif95`

@Proceedings{Lif95,
    Editor       = "Lifschitz, V.",
    Year         = "1995",
    Title        = "{Special Issue: Commonsense and Nonmonotonic Reasoning}",
    Journal      = "Journal of Automated Reasoning",
    Volume       = "15",
    Number       = "1",
    Comment      = ""
}

@Unknown{Lif95,
    Author       = "Lifschitz, V.",
    Year         = "1995",
    Title        = "{The Logic of Common Sense}",
    Journal      = "",
    Volume       = "",
    Number       = "",
    Pages        = "",
    Comment      = ""
}