TPTP Reference: FH+23

TPTP Reference: `FH+23`

@Article{FH+23,
    Author       = "Fandinno, J. and Hansen, Z. and Lierler, Y. and Lifschitz, V. and Temple, N.",
    Year         = "2023",
    Title        = "{External Behavior of a Logic Program and Verification of Refactoring}",
    Journal      = "Theory and Practice of Logic Programming",
    Volume       = "23",
    Number       = "4",
    Pages        = "933-947",
    Comment      = "TPTPRef"
}